Conventionally { and }; used to delimit groups or arguments in (La)TeX code.

learn more… | top users | synonyms

1
vote
0answers
119 views

Using braces in verbatim environment

I want to put some code in a verbatim environment: \begin{verbatim} data _≥_ : Nat → Nat → Set where ge0 : {y : Nat} → y ≥ zero geS : {x : Nat} {y : Nat} → x ≥ y → suc x ≥ ...
0
votes
0answers
92 views

How to remove curly braces in main window of JabRef?

Do you have any idea how to remove the curly braces in the main window of JabRef. I know that there is the option in the preferences (Option -> Preferences -> File -> ...) that allows me to check ...