op
BoolOp Judgment Sim CJudgment CLeq CSub IBoolOp
opToLatex
IBoolOp
orS
Syntax