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

learn more… | top users | synonyms

1
vote
0answers
145 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
31 views

mtpro2 curly braces as default

is it possible to set mtpro2 curly braces as default as given below? when i write \left\{...\right\} it should give the first result. Code: \documentclass[10pt,a4paper]{article} ...
0
votes
0answers
101 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 ...