TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

This question already has an answer here:

Below is an image that I took of a symbol in "Logic for Philosophy" by Theodore Sider. The symbol is used to represent a function whose domain is Sentence letters of propositional logic and whose range is the set {0,1} (Called a PL-Interpretation... it basically assigns truth value to different capital letters). What is the name of this symbol and how can it be reproduced in LaTeX?

enter image description here

share|improve this question

marked as duplicate by Heiko Oberdiek, mafp, Gonzalo Medina, Andrew Swann, cmhughes Jun 18 '13 at 16:34

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

up vote 22 down vote accepted

You can use Detexify to answer such questions, for example:


share|improve this answer

You should have a look at: How to look up a symbol or identify a math alphabet?

Using Detexify you can see, that this symbol is called \mathscr{I} and you need to include \usepackage{ mathrsfs } to use it.

enter image description here

share|improve this answer

And an alternative name is \mathcal{I} from the calrsfs package.

share|improve this answer

Not the answer you're looking for? Browse other questions tagged or ask your own question.