doc-src/AxClass/generated/isabellesym.sty
changeset 10223 31346d22bb54
parent 10207 c7c64cd26fc9
child 10361 c20f78a9606f
equal deleted inserted replaced
10222:027a6f43e408 10223:31346d22bb54
    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{~~}}