How to recognize letters in curly style (eg, $\mathfrak{S}$, $\mathfrak{A}$, $\mathfrak{I}$) for mathematical notations?

Question

Ebbinghaus' Mathematical Logic uses some notation in curly style, and I can't tell which letter is which. For example:

What is the letter ($\mathfrak{S}$) for sequent calculus?

and what are the letters ($\mathfrak{A}$ and $\mathfrak{I}$) and for an assignment and for an interpretation?

Is there a list of what all the letters in curly style are?

Thanks.

Answer 1

To get "Fraktur" (old German style) letters, type

$\mathfrak{A\;B\; C\; D\; E\; F\; G\; H\; I\; J\; K\; L\; M\; N\; O\; P\; Q\; R\; S\; T\; U\; V\; W\; X\; Y\; Z}$

to get $\mathfrak{A\; B\; C\; D\; E\; F\; G\; H\; I\; J\; K\; L\; M\; N\; O\; P\; Q\; R\; S\; T\; U\; V\; W\; X\; Y\; Z }$.

The letters you asked about are $\mathfrak S$ (S), $\mathfrak A$ (A), and $\mathfrak I$ (I).