Skip to content

Commit 2d94c7b

Browse files
eernstgeernstg
committed
Standard bounds
1 parent d56921c commit 2d94c7b

File tree

2 files changed

+495
-289
lines changed

2 files changed

+495
-289
lines changed

‎specification/dart.sty

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -567,6 +567,10 @@
567567
\ensuremath{\LowerBoundTypeName(\code{{#1},\,\,{#2}})}}
568568

569569
\newcommand{\DefEquals}[2]{\ensuremath{{#1}\stackrel{\vartriangle}{=}{#2}}}
570+
\newcommand{\DefEqualsNewline}[2]{
571+
\ensuremath{{#1}\stackrel{\vartriangle}{=}}\\
572+
\ensuremath{{#2}}%
573+
}
570574

571575
% ----------------------------------------------------------------------
572576
% Support for hash valued Location Markers

0 commit comments

Comments
 (0)