133 B
133 B
% pandoc -t native
(i<j)
^D
[ Para [ Str "(i<j)" ] ]
% pandoc -t native
i<j-1, j>k
^D
[ Para [ Str "i<j-1, j>k" ] ]
% pandoc -t native
(i<j)
^D
[ Para [ Str "(i<j)" ] ]
% pandoc -t native
i<j-1, j>k
^D
[ Para [ Str "i<j-1, j>k" ] ]