search

retzzz / gitment-comments

0 stars 0 forks source link

A Mathematical Introduction to Logic -- Section 1.4 | Mingjian's Blog #34

Open retzzz opened 2 years ago

retzzz commented 2 years ago

https://retzzz.github.io/e170cff5/

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