1 \input{winstyles.hva}% 2 %%vert 3 \newcommand{\@vert@table}[2][\@@barsz] 4 {\setcounter{@c}{(#2)}% 5 \@open{div}{class="vertical-rule" style="height:\arabic{@c}em; margin:0ex #1;"}\@force{div}}% 6 \renewcommand{\csname\delim@name{\vert}\endcsname}[1] 7 {\@vert@table{#1}}% 8 \renewcommand{\csname\delim@name{|}\endcsname}[1] 9 {\@vert@table{#1}}% 10 \let\mid@vert\mid@vert@txt 11 %%Vert 12 \newcommand{\@Vert@table}[1] 13 {\@vert@table[\@barsz]{#1}\@itemdisplay\@vert@table[\@barsz]{#1}}% 14 \renewcommand{\csname\delim@name{\Vert}\endcsname}[1] 15 {\@Vert@table{#1}}% 16 \renewcommand{\csname\delim@name{\|}\endcsname}[1] 17 {\@Vert@table{#1}}% 18 %%Parenthesis 19 \let\top@parleft\top@parleft@txt 20 \let\mid@parleft\mid@parleft@txt 21 \let\dow@parleft\dow@parleft@txt 22 \let\top@parright\top@parright@txt 23 \let\mid@parright\mid@parright@txt 24 \let\dow@parright\dow@parright@txt 25 %cell align 26 \newcommand{\win@left@cell}{style="text-align:left"} 27 \newcommand{\win@right@cell}{style="text-align:right"} 28 \newcommand{\win@center@cell}{style="text-align:center"} 29 %%Square brackets 30 %Left 31 \newcommand{\@bracell}[2][] 32 {\@open{tr}{}\@open{td}{class="bracell"#1}% 33 #2\@close{td}\@close{tr}} 34 \newcommand{\@hbarcell}[1] 35 {\@open{tr}{}\@open{td}{class="bracell horizontal-rule" style="width:#1;"}% 36 \@force{td}\@close{tr}} 37 \newcommand{\@leftsqbra@table}[1] 38 {\setcounter{@c}{(#1)}% 39 \@open{table}{class="delimleft"}% 40 \@hbarcell{\@@@barsz}% 41 \@bracell[ \win@left@cell]{\@@vbar[style="height:\arabic{@c}em;"]}% 42 \@hbarcell{\@@@barsz}% 43 \@close{table}}% 44 \renewcommand{\csname\delim@name{[}\endcsname}[1] 45 {\@leftsqbra@table{#1}}% 46 %Right 47 \newcommand{\@rightsqbra@table}[1] 48 {\setcounter{@c}{(#1)}% 49 \@open{table}{class="delimright"}% 50 \@hbarcell{\@@@barsz}% 51 \@bracell[ \win@right@cell]{\@@vbar[style="height:\arabic{@c}em;"]}% 52 \@hbarcell{\@@@barsz}% 53 \@close{table}}% 54 \renewcommand{\csname\delim@name{]}\endcsname}[1] 55 {\@rightsqbra@table{#1}}% 56 %Left ceil 57 \newcommand{\@lceil@table}[1] 58 {\setcounter{@c}{(#1)}% 59 \@open{table}{class="delimleft"}% 60 \@hbarcell{\@@@@barsz}% 61 \@bracell[ \win@left@cell]{\@@vbar[style="height:\arabic{@c}em;"]}% 62 \@close{table}}% 63 \renewcommand{\csname\delim@name{\lceil}\endcsname}[1] 64 {\@lceil@table{#1}}% 65 %Left floor 66 \newcommand{\@lfloor@table}[1] 67 {\setcounter{@c}{(#1)}% 68 \@open{table}{class="delimleft"}% 69 \@bracell[ \win@left@cell]{\@@vbar[style="height:\arabic{@c}em;"]}% 70 \@hbarcell{\@@@@barsz}% 71 \@close{table}}% 72 \renewcommand{\csname\delim@name{\lfloor}\endcsname}[1] 73 {\@lfloor@table{#1}}% 74 %Right ceil 75 \newcommand{\@rceil@table}[1] 76 {\setcounter{@c}{(#1)}% 77 \@open{table}{class="delimright"}% 78 \@hbarcell{\@@@@barsz}% 79 \@bracell[ \win@right@cell]{\@@vbar[style="height:\arabic{@c}em;"]}% 80 \@close{table}}% 81 \renewcommand{\csname\delim@name{\rceil}\endcsname}[1] 82 {\@rceil@table{#1}}% 83 %Right floor 84 \newcommand{\@rfloor@table}[1] 85 {\setcounter{@c}{(#1)}% 86 \@open{table}{class="delimright"}% 87 \@bracell[ \win@right@cell"]{\@@vbar[style="height:\arabic{@c}em;"]}% 88 \@hbarcell{\@@@@barsz}% 89 \@close{table}}% 90 \renewcommand{\csname\delim@name{\rfloor}\endcsname}[1] 91 {\@rfloor@table{#1}}% 92 %%Curly braces 93 \let\curlybra@ext\curlybra@ext@txt 94 \let\leftcurlybra@ext\leftcurlybra@ext@txt 95 \let\leftcurlybra@top\leftcurlybra@top@txt 96 \let\leftcurlybra@mid\leftcurlybra@mid@txt 97 \let\leftcurlybra@dow\leftcurlybra@dow@txt 98 \let\rightcurlybra@ext\rightcurlybra@ext@txt 99 \let\rightcurlybra@top\rightcurlybra@top@txt 100 \let\rightcurlybra@mid\rightcurlybra@mid@txt 101 \let\rightcurlybra@dow\rightcurlybra@dow@txt 102 %%Moustache 103 \let\lmous@top\lmous@top@txt 104 \let\lmous@mid\lmous@mid@txt 105 \let\lmous@dow\lmous@dow@txt 106 \let\rmous@top\rmous@top@txt 107 \let\rmous@mid\rmous@mid@txt 108 \let\rmous@dow\rmous@dow@txt 109 %%Arrows 110 \newcommand{\@uparrow@table}[1] 111 {\setcounter{@c}{(#1)}% 112 \@open{table}{class="delim"}% 113 \@bracell{\@print@u{X25B2}}% 114 \@bracell[ \win@center@cell] 115 {\@vert@table{\arabic{@c}}}% 116 \@close{table}}% 117 \newcommand{\@downarrow@table}[1] 118 {\setcounter{@c}{(#1)}% 119 \@open{table}{class="delim"}% 120 \@bracell[ \win@center@cell] 121 {\@open{div}{class="vertical-rule" style="height:\arabic{@c}em;"}\@force{div}}% 122 \@bracell{\@print@u{X25BC}}% 123 \@close{table}}% 124 \newcommand{\@updownarrow@table}[1] 125 {\setcounter{@c}{(#1)}% 126 \@open{table}{class="delim"}% 127 \@bracell{\@print@u{X25B2}}% 128 \@bracell[ \win@center@cell] 129 {\@open{div}{class="vertical-rule" style="height:\arabic{@c}em;"}\@force{div}}% 130 \@bracell{\@print@u{X25BC}}% 131 \@close{table}}% 132 \renewcommand{\csname\delim@name{\uparrow}\endcsname}[1] 133 {\@uparrow@table{#1}}% 134 \renewcommand{\csname\delim@name{\downarrow}\endcsname}[1] 135 {\@downarrow@table{#1}}% 136 \renewcommand{\csname\delim@name{\updownarrow}\endcsname}[1] 137 {\@updownarrow@table{#1}}% 138 %%%Double arrows 139 \newcommand{\@Mid@table}[1] 140 {\@open{table}{class="delim"}\@open{tr}{ style="vertical-align:middle"}% 141 \@open{td}{class="bracell"}\@vert@table[1px]{#1}\@close{td}% 142 \@open{td}{class="bracell"}\@vert@table[1px]{#1}\@close{td}% 143 \@close{tr}\@close{table}} 144 \newcommand{\@Uparrow@table}[1] 145 {\setcounter{@c}{(#1)}% 146 \@open{table}{class="delim"}% 147 \@bracell{\@print@u{X25B2}}% 148 \@bracell[ \win@center@cell] 149 {\@Mid@table{\arabic{@c}}}% 150 \@close{table}}% 151 \newcommand{\@Downarrow@table}[1] 152 {\setcounter{@c}{(#1)}% 153 \@open{table}{class="delim"}% 154 \@bracell[ \win@center@cell] 155 {\@Mid@table{\arabic{@c}}}% 156 \@bracell{\@print@u{X25BC}}% 157 \@close{table}}% 158 \newcommand{\@Updownarrow@table}[1] 159 {\setcounter{@c}{(#1)}% 160 \@open{table}{class="delim"}% 161 \@bracell{\@print@u{X25B2}}% 162 \@bracell[ \win@center@cell] 163 {\@Mid@table{\arabic{@c}}}% 164 \@bracell{\@print@u{X25BC}}% 165 \@close{table}}% 166 \renewcommand{\csname\delim@name{\Uparrow}\endcsname}[1] 167 {\@Uparrow@table{#1}}% 168 \renewcommand{\csname\delim@name{\Downarrow}\endcsname}[1] 169 {\@Downarrow@table{#1}}% 170 \renewcommand{\csname\delim@name{\Updownarrow}\endcsname}[1] 171 {\@Updownarrow@table{#1}}% 172 %%% Composite arrows 173 \renewcommand{\hva@righthead}{>} 174 \renewcommand{\hva@lefthead}{<} 175 \renewcommand{\hva@lrt}{/} 176 \renewcommand{\hva@llt}{\char92} 177 \renewcommand{\hva@ult}{/} 178 \renewcommand{\hva@urt}{\char92} 179 \renewcommand{\hva@utr}{/\char92} 180 \renewcommand{\hva@dtr}{\char92/}