doc-src/TutorialI/isabellesym.sty
changeset 10226 2c0ad01ddaf7
parent 10211 1bece7f35762
child 10361 c20f78a9606f
equal deleted inserted replaced
10225:b9fd52525b69 10226:2c0ad01ddaf7
    11 %\usepackage{amssymb}
    11 %\usepackage{amssymb}
    12 %\usepackage[english]{babel}
    12 %\usepackage[english]{babel}
    13 %\usepackage[latin1]{inputenc}
    13 %\usepackage[latin1]{inputenc}
    14 %\usepackage[only,bigsqcap]{stmaryrd}
    14 %\usepackage[only,bigsqcap]{stmaryrd}
    15 %\usepackage{wasysym}
    15 %\usepackage{wasysym}
    16 
       
    17 % Note: \emph is important for proper spacing in fake math mode, it
       
    18 % automatically inserts italic corrections around symbols wherever
       
    19 % appropriate.
       
    20 
       
    21 \newcommand{\isamath}[1]{\emph{$#1$}}
       
    22 \newcommand{\isatext}[1]{\emph{#1}}
       
    23 
    16 
    24 
    17 
    25 % symbol definitions
    18 % symbol definitions
    26 
    19 
    27 \newcommand{\isasymspacespace}{\isamath{~~}}
    20 \newcommand{\isasymspacespace}{\isamath{~~}}