% 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"]]