Skip to main content
Glama
index.md1.88 kB
# Symbols These two modules give names to symbols and emoji to make them easy to insert with a normal keyboard. Alternatively, you can also always directly enter Unicode symbols into your text and formulas. In addition to the symbols listed below, math mode defines `dif` and `Dif`. These are not normal symbol values because they also affect spacing and font style. ## Definitions - [`sym`](/reference/library/symbols/sym/) - These two modules give names to symbols and emoji to make them easy to insert - [`emoji`](/reference/library/symbols/emoji/) - These two modules give names to symbols and emoji to make them easy to insert ## Shorthands ### Markup - `--` → `dash.en` - `---` → `dash.em` - `...` → `dots.h` - `-?` → `hyph.soft` - `-` → `minus` - `~` → `space.nobreak` ### Math - `->` → `arrow.r` - `|->` → `arrow.r.bar` - `=>` → `arrow.r.double` - `|=>` → `arrow.r.double.bar` - `==>` → `arrow.r.double.long` - `-->` → `arrow.r.long` - `~~>` → `arrow.r.long.squiggly` - `~>` → `arrow.r.squiggly` - `>->` → `arrow.r.tail` - `->>` → `arrow.r.twohead` - `<-` → `arrow.l` - `<==` → `arrow.l.double.long` - `<--` → `arrow.l.long` - `<~~` → `arrow.l.long.squiggly` - `<~` → `arrow.l.squiggly` - `<-<` → `arrow.l.tail` - `<<-` → `arrow.l.twohead` - `<->` → `arrow.l.r` - `<=>` → `arrow.l.r.double` - `<==>` → `arrow.l.r.double.long` - `<-->` → `arrow.l.r.long` - `*` → `ast.op` - `||` → `bar.v.double` - `[|` → `bracket.l.double` - `|]` → `bracket.r.double` - `:=` → `colon.eq` - `::=` → `colon.double.eq` - `*` → `convolve` - `...` → `dots.h` - `=:` → `eq.colon` - `!=` → `eq.not` - `>>` → `gt.double` - `>=` → `gt.eq` - `>>>` → `gt.triple` - `<<` → `lt.double` - `<=` → `lt.eq` - `<<<` → `lt.triple` - `|->` → `mapsto` - `-` → `minus` - `~` → `tilde.op` - `<->` → `arrow.l.r`

Latest Blog Posts

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/FujishigeTemma/typst-mcp'

If you have feedback or need assistance with the MCP directory API, please join our Discord server