1 2 3 4 5
#text(font: "DejaVu Sans Mono")[123] #text(font: ("DejaVu Sans Mono",))[123] #text(font: (name: "DejaVu Sans Mono"))[123] #text(font: ((name: "DejaVu Sans Mono"),))[123]