Latex

数理逻辑课中常用的latex逻辑符号