Open retzzz opened 3 years ago
https://retzzz.github.io/5a484d90/
(\def\tauequ{\mathbin{\vDash\style{display: inline-block; transform: scaleX(-1)}{\vDash}}}) (\def\Dashv{\mathbin{\style{display: inline-block; transform: scaleX(-1)}{\vDash}}}) (\def\DEF{\sf{D\sc
DE
https://retzzz.github.io/5a484d90/
(\def\tauequ{\mathbin{\vDash\style{display: inline-block; transform: scaleX(-1)}{\vDash}}}) (\def\Dashv{\mathbin{\style{display: inline-block; transform: scaleX(-1)}{\vDash}}}) (\def\DEF{\sf{D\sc