search

retzzz / gitment-comments

0 stars 0 forks source link

A Mathematical Introduction to Logic -- Section 2.2 | Mingjian's Blog #27

Open retzzz opened 2 years ago

retzzz commented 2 years ago

https://retzzz.github.io/a55d499/

(\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