This is LaTeX code:

[latex]
 
P:F \rightarrow [0,1]
 
[/latex]