search

retzzz / gitment-comments

0 stars 0 forks source link

A Mathematical Introduction to Logic -- Section 2.1 | Mingjian's Blog #23

Open retzzz opened 2 years ago

retzzz commented 2 years ago

https://retzzz.github.io/1eec0e97/

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