13 lines
137 B
Markdown
13 lines
137 B
Markdown
```
|
|
% 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"]]
|
|
```
|