@@ -247,7 +247,7 @@ DefMacro('\noeqref{}', '');
247247
248248# # 3.3
249249
250- DefConstructor(' \xleftrightarrow[]{} ' , # not centered anymore
250+ DefConstructor(' \xleftrightarrow OptionalInScriptStyle InScriptStyle ' , # not centered anymore
251251 " ?#1("
252252 . " <ltx:XMApp role='METARELOP'>"
253253 . " <ltx:XMWrap role='UNDERACCENT'>#1</ltx:XMWrap>"
@@ -259,12 +259,12 @@ DefConstructor('\xleftrightarrow[]{}', # not centered anymore
259259 . " )("
260260 . " <ltx:XMApp role='METARELOP'>"
261261 . " <ltx:XMWrap role='OVERACCENT'>#2</ltx:XMWrap>"
262- . " <ltx:XMTok name='xleftrightarrow' role='METARELOP'>\x{2194} </ltx:XMTok>"
262+ . " <ltx:XMTok name='xleftrightarrow' role='METARELOP' stretchy='true' >\x{2194} </ltx:XMTok>"
263263 . " </ltx:XMApp>"
264264 . " )" ,
265265 properties => { font => sub { LookupValue(' font' )-> specialize(" \x{2026} " ); } });
266266
267- DefConstructor(' \xLeftarrow[]{} ' ,
267+ DefConstructor(' \xLeftarrow OptionalInScriptStyle InScriptStyle ' ,
268268 " ?#1("
269269 . " <ltx:XMApp role='ARROW'>"
270270 . " <ltx:XMWrap role='UNDERACCENT'>#1</ltx:XMWrap>"
@@ -276,12 +276,12 @@ DefConstructor('\xLeftarrow[]{}',
276276 . " )("
277277 . " <ltx:XMApp role='ARROW'>"
278278 . " <ltx:XMWrap role='OVERACCENT'>#2</ltx:XMWrap>"
279- . " <ltx:XMTok name='xLeftarrow' role='ARROW'>\x{21D0} </ltx:XMTok>"
279+ . " <ltx:XMTok name='xLeftarrow' role='ARROW' stretchy='true' >\x{21D0} </ltx:XMTok>"
280280 . " </ltx:XMApp>"
281281 . " )" ,
282282 properties => { font => sub { LookupValue(' font' )-> specialize(" \x{2026} " ); } });
283283
284- DefConstructor(' \xRightarrow[]{} ' ,
284+ DefConstructor(' \xRightarrow OptionalInScriptStyle InScriptStyle ' ,
285285 " ?#1("
286286 . " <ltx:XMApp role='ARROW'>"
287287 . " <ltx:XMWrap role='UNDERACCENT'>#1</ltx:XMWrap>"
@@ -293,12 +293,12 @@ DefConstructor('\xRightarrow[]{}',
293293 . " )("
294294 . " <ltx:XMApp role='ARROW'>"
295295 . " <ltx:XMWrap role='OVERACCENT'>#2</ltx:XMWrap>"
296- . " <ltx:XMTok name='xRightarrow' role='ARROW'>\x{21D2} </ltx:XMTok>"
296+ . " <ltx:XMTok name='xRightarrow' role='ARROW' stretchy='true' >\x{21D2} </ltx:XMTok>"
297297 . " </ltx:XMApp>"
298298 . " )" ,
299299 properties => { font => sub { LookupValue(' font' )-> specialize(" \x{2026} " ); } });
300300
301- DefConstructor(' \xLeftrightarrow[]{} ' , # looks stretched
301+ DefConstructor(' \xLeftrightarrow OptionalInScriptStyle InScriptStyle ' , # looks stretched
302302 " ?#1("
303303 . " <ltx:XMApp role='ARROW'>"
304304 . " <ltx:XMWrap role='UNDERACCENT'>#1</ltx:XMWrap>"
@@ -310,12 +310,12 @@ DefConstructor('\xLeftrightarrow[]{}', # looks stretched
310310 . " )("
311311 . " <ltx:XMApp role='ARROW'>"
312312 . " <ltx:XMWrap role='OVERACCENT'>#2</ltx:XMWrap>"
313- . " <ltx:XMTok name='xLeftrightarrow' role='ARROW'>\x{21D4} </ltx:XMTok>"
313+ . " <ltx:XMTok name='xLeftrightarrow' role='ARROW' stretchy='true' >\x{21D4} </ltx:XMTok>"
314314 . " </ltx:XMApp>"
315315 . " )" ,
316316 properties => { font => sub { LookupValue(' font' )-> specialize(" \x{2026} " ); } });
317317
318- DefConstructor(' \xhookleftarrow[]{} ' ,
318+ DefConstructor(' \xhookleftarrow OptionalInScriptStyle InScriptStyle ' ,
319319 " ?#1("
320320 . " <ltx:XMApp role='ARROW'>"
321321 . " <ltx:XMWrap role='UNDERACCENT'>#1</ltx:XMWrap>"
@@ -327,12 +327,12 @@ DefConstructor('\xhookleftarrow[]{}',
327327 . " )("
328328 . " <ltx:XMApp role='ARROW'>"
329329 . " <ltx:XMWrap role='OVERACCENT'>#2</ltx:XMWrap>"
330- . " <ltx:XMTok name='xhookleftarrow' role='ARROW'>\x{21A9} </ltx:XMTok>"
330+ . " <ltx:XMTok name='xhookleftarrow' role='ARROW' stretchy='true' >\x{21A9} </ltx:XMTok>"
331331 . " </ltx:XMApp>"
332332 . " )" ,
333333 properties => { font => sub { LookupValue(' font' )-> specialize(" \x{2026} " ); } });
334334
335- DefConstructor(' \xhookrightarrow[]{} ' ,
335+ DefConstructor(' \xhookrightarrow OptionalInScriptStyle InScriptStyle ' ,
336336 " ?#1("
337337 . " <ltx:XMApp role='ARROW'>"
338338 . " <ltx:XMWrap role='UNDERACCENT'>#1</ltx:XMWrap>"
@@ -344,12 +344,12 @@ DefConstructor('\xhookrightarrow[]{}',
344344 . " )("
345345 . " <ltx:XMApp role='ARROW'>"
346346 . " <ltx:XMWrap role='OVERACCENT'>#2</ltx:XMWrap>"
347- . " <ltx:XMTok name='xhookrightarrow' role='ARROW'>\x{21AA} </ltx:XMTok>"
347+ . " <ltx:XMTok name='xhookrightarrow' role='ARROW' stretchy='true' >\x{21AA} </ltx:XMTok>"
348348 . " </ltx:XMApp>"
349349 . " )" ,
350350 properties => { font => sub { LookupValue(' font' )-> specialize(" \x{2026} " ); } });
351351
352- DefConstructor(' \xmapsto[]{} ' ,
352+ DefConstructor(' \xmapsto OptionalInScriptStyle InScriptStyle ' ,
353353 " ?#1("
354354 . " <ltx:XMApp role='ARROW'>"
355355 . " <ltx:XMWrap role='UNDERACCENT'>#1</ltx:XMWrap>"
@@ -361,12 +361,12 @@ DefConstructor('\xmapsto[]{}',
361361 . " )("
362362 . " <ltx:XMApp role='ARROW'>"
363363 . " <ltx:XMWrap role='OVERACCENT'>#2</ltx:XMWrap>"
364- . " <ltx:XMTok name='xmapsto' role='ARROW'>\x{21A6} </ltx:XMTok>"
364+ . " <ltx:XMTok name='xmapsto' role='ARROW' stretchy='true' >\x{21A6} </ltx:XMTok>"
365365 . " </ltx:XMApp>"
366366 . " )" ,
367367 properties => { font => sub { LookupValue(' font' )-> specialize(" \x{2026} " ); } });
368368
369- DefConstructor(' \xrightharpoondown[]{} ' ,
369+ DefConstructor(' \xrightharpoondown OptionalInScriptStyle InScriptStyle ' ,
370370 " ?#1("
371371 . " <ltx:XMApp role='ARROW'>"
372372 . " <ltx:XMWrap role='UNDERACCENT'>#1</ltx:XMWrap>"
@@ -383,7 +383,7 @@ DefConstructor('\xrightharpoondown[]{}',
383383 . " )" ,
384384 properties => { font => sub { LookupValue(' font' )-> specialize(" \x{2026} " ); } });
385385
386- DefConstructor(' \xrightharpoonup[]{} ' ,
386+ DefConstructor(' \xrightharpoonup OptionalInScriptStyle InScriptStyle ' ,
387387 " ?#1("
388388 . " <ltx:XMApp role='ARROW'>"
389389 . " <ltx:XMWrap role='UNDERACCENT'>#1</ltx:XMWrap>"
@@ -395,12 +395,12 @@ DefConstructor('\xrightharpoonup[]{}',
395395 . " )("
396396 . " <ltx:XMApp role='ARROW'>"
397397 . " <ltx:XMWrap role='OVERACCENT'>#2</ltx:XMWrap>"
398- . " <ltx:XMTok name='xrightharpoonup' role='ARROW'>\x{21C0} </ltx:XMTok>"
398+ . " <ltx:XMTok name='xrightharpoonup' role='ARROW' stretchy='true' >\x{21C0} </ltx:XMTok>"
399399 . " </ltx:XMApp>"
400400 . " )" ,
401401 properties => { font => sub { LookupValue(' font' )-> specialize(" \x{2026} " ); } });
402402
403- DefConstructor(' \xleftharpoondown[]{} ' ,
403+ DefConstructor(' \xleftharpoondown OptionalInScriptStyle InScriptStyle ' ,
404404 " ?#1("
405405 . " <ltx:XMApp role='ARROW'>"
406406 . " <ltx:XMWrap role='UNDERACCENT'>#1</ltx:XMWrap>"
@@ -412,12 +412,12 @@ DefConstructor('\xleftharpoondown[]{}',
412412 . " )("
413413 . " <ltx:XMApp role='ARROW'>"
414414 . " <ltx:XMWrap role='OVERACCENT'>#2</ltx:XMWrap>"
415- . " <ltx:XMTok name='xlefttharpoondown' role='ARROW'>\x{21BD} </ltx:XMTok>"
415+ . " <ltx:XMTok name='xlefttharpoondown' role='ARROW' stretchy='true' >\x{21BD} </ltx:XMTok>"
416416 . " </ltx:XMApp>"
417417 . " )" ,
418418 properties => { font => sub { LookupValue(' font' )-> specialize(" \x{2026} " ); } });
419419
420- DefConstructor(' \xleftharpoonup[]{} ' ,
420+ DefConstructor(' \xleftharpoonup OptionalInScriptStyle InScriptStyle ' ,
421421 " ?#1("
422422 . " <ltx:XMApp role='ARROW'>"
423423 . " <ltx:XMWrap role='UNDERACCENT'>#1</ltx:XMWrap>"
@@ -429,12 +429,12 @@ DefConstructor('\xleftharpoonup[]{}',
429429 . " )("
430430 . " <ltx:XMApp role='ARROW'>"
431431 . " <ltx:XMWrap role='OVERACCENT'>#2</ltx:XMWrap>"
432- . " <ltx:XMTok name='xleftharpoonup' role='ARROW'>\x{21BC} </ltx:XMTok>"
432+ . " <ltx:XMTok name='xleftharpoonup' role='ARROW' stretchy='true' >\x{21BC} </ltx:XMTok>"
433433 . " </ltx:XMApp>"
434434 . " )" ,
435435 properties => { font => sub { LookupValue(' font' )-> specialize(" \x{2026} " ); } });
436436
437- DefConstructor(' \xrightleftharpoons[]{} ' ,
437+ DefConstructor(' \xrightleftharpoons OptionalInScriptStyle InScriptStyle ' ,
438438 " ?#1("
439439 . " <ltx:XMApp role='METARELOP'>"
440440 . " <ltx:XMWrap role='UNDERACCENT'>#1</ltx:XMWrap>"
@@ -446,12 +446,12 @@ DefConstructor('\xrightleftharpoons[]{}',
446446 . " )("
447447 . " <ltx:XMApp role='METARELOP'>"
448448 . " <ltx:XMWrap role='OVERACCENT'>#2</ltx:XMWrap>"
449- . " <ltx:XMTok name='xrightleftharpoons' role='METARELOP'>\x{21CC} </ltx:XMTok>"
449+ . " <ltx:XMTok name='xrightleftharpoons' role='METARELOP' stretchy='true' >\x{21CC} </ltx:XMTok>"
450450 . " </ltx:XMApp>"
451451 . " )" ,
452452 properties => { font => sub { LookupValue(' font' )-> specialize(" \x{2026} " ); } });
453453
454- DefConstructor(' \xleftrightharpoons[]{} ' ,
454+ DefConstructor(' \xleftrightharpoons OptionalInScriptStyle InScriptStyle ' ,
455455 " ?#1("
456456 . " <ltx:XMApp role='METARELOP'>"
457457 . " <ltx:XMWrap role='UNDERACCENT'>#1</ltx:XMWrap>"
@@ -463,7 +463,7 @@ DefConstructor('\xleftrightharpoons[]{}',
463463 . " )("
464464 . " <ltx:XMApp role='METARELOP'>"
465465 . " <ltx:XMWrap role='OVERACCENT'>#2</ltx:XMWrap>"
466- . " <ltx:XMTok name='xleftrightharpoons' role='METARELOP'>\x{21CB} </ltx:XMTok>"
466+ . " <ltx:XMTok name='xleftrightharpoons' role='METARELOP' stretchy='true' >\x{21CB} </ltx:XMTok>"
467467 . " </ltx:XMApp>"
468468 . " )" ,
469469 properties => { font => sub { LookupValue(' font' )-> specialize(" \x{2026} " ); } });
0 commit comments