%format != = "\neq" %format *+* = "\bullet" %format +> = "\succ"