1 2 3 4 5 6 7 8 9 10 11 12 13
``` % pandoc -t native (i<j) ^D [ Para [ Str "(i<j)" ] ] ``` ``` % pandoc -t native i<j-1, j>k ^D [ Para [ Str "i<j-1,", Space, Str "j>k" ] ] ```