Did much of Standard ... Bounds

Author: eernstg

specification/dart.sty

@@ -558,6 +558,14 @@
 \newcommand{\LowerBoundType}[2]{%
   \ensuremath{\LowerBoundTypeName(\code{{#1},\,\,{#2}})}}
 
+\newcommand{\UpperBoundTypeName}{\metavar{standardUpperBound}}
+\newcommand{\UpperBoundType}[2]{%
+  \ensuremath{\UpperBoundTypeName(\code{{#1},\,\,{#2}})}}
+
+\newcommand{\LowerBoundTypeName}{\metavar{standardLowerBound}}
+\newcommand{\LowerBoundType}[2]{%
+  \ensuremath{\LowerBoundTypeName(\code{{#1},\,\,{#2}})}}
+
 \newcommand{\DefEquals}[2]{\ensuremath{{#1}\stackrel{\vartriangle}{=}{#2}}}
 
 % ----------------------------------------------------------------------