lib/texinputs/isabellesym.sty
changeset 10220 2a726de6e124
parent 10193 1d6ae1ef8e64
child 10354 ae236e935a34
equal deleted inserted replaced
10219:eb28637c72ce 10220:2a726de6e124
    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{~~}}