To which atoms correspond left and right in showlists?What's the right space to right the alignment of a right aligned align environment?Mixing math character classes (e.g. mathord to the left and mathrel to the right)limits and biggllparenHow TeX reads what you typeHow to make existing strut-based code work with accented letters?Why do we need ldots?What state changes are caused by input?'a^^Mb' isn't equivalent to 'a<return>b'; instead throws pdftex into an extended modeHow is the TeX engine informed of the OS's end-of-line marker and file encoding?Understanding Brace HacksLine breaks and alignment in table cells with math environment
Write an interpreter for *
Wherein the Shatapatha Brahmana it was mentioned about 8.64 lakh alphabets in Vedas?
Trying to write a shell script that keeps testing a server remotely, but it keeps falling in else statement when I logout
Russian equivalents of "We would never hear the end of it"
Different inverter (logic gate) symbols
Why do funding agencies like the NSF not publish accepted grants?
How should an administrative assistant reply to student addressing them as "Professor" or "Doctor"?
How to create all combinations from a nested list while preserving the structure using R?
Is Calculus necessary for computer science student?
What is the maximum number of PC-controlled undead?
Should you play baroque pieces a semitone lower?
I accidentally overwrote a Linux binary file
Help evaluating integral (anything simple that I am missing?)
How quickly could a country build a tall concrete wall around a city?
How does 'AND' distribute over 'OR' (Set Theory)?
How are you supposed to know the strumming pattern for a song from the "chord sheet music"?
What skills in 5e give trap knowledge (i.e. the equivalent of Dungeoneering in 4e)?
If "more guns less crime", how do gun advocates explain that the EU has less crime than the US?
Is refreshing multiple times a test case for web applications?
How can I iterate this process?
What gave Harry Potter the idea of writing in Tom Riddle's diary?
how to differentiate when a child lwc component is called twice in parent component?
Three legged NOT gate? What is this symbol?
What does "sardine box" mean?
To which atoms correspond left and right in showlists?
What's the right space to right the alignment of a right aligned align environment?Mixing math character classes (e.g. mathord to the left and mathrel to the right)limits and biggllparenHow TeX reads what you typeHow to make existing strut-based code work with accented letters?Why do we need ldots?What state changes are caused by input?'a^^Mb' isn't equivalent to 'a<return>b'; instead throws pdftex into an extended modeHow is the TeX engine informed of the OS's end-of-line marker and file encoding?Understanding Brace HacksLine breaks and alignment in table cells with math environment
.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty margin-bottom:0;
This is the input:
$left|-inftyright|showlists$
end
This is the output:
mathinner
.left"26A30C
.mathbin
..fam2 ^^@
.mathord
..fam2 1
.right"26A30C
It is not clear to what atoms correspond left"26A30C and right"26A30C.
It cannot be Open and Close, because according to the table on p.170 of TeXbook Open cannot be followed by Bin (the table entry is *).
math-mode tex-core
edited Jul 31 at 6:33
Mico
301k33 gold badges412 silver badges818 bronze badges
asked Jul 31 at 3:40
Igor LiferenkoIgor Liferenko
2,7648 silver badges31 bronze badges
add a comment |
This is the input:
$left|-inftyright|showlists$
end
This is the output:
mathinner
.left"26A30C
.mathbin
..fam2 ^^@
.mathord
..fam2 1
.right"26A30C
It is not clear to what atoms correspond left"26A30C and right"26A30C.
It cannot be Open and Close, because according to the table on p.170 of TeXbook Open cannot be followed by Bin (the table entry is *).
math-mode tex-core
edited Jul 31 at 6:33
Mico
301k33 gold badges412 silver badges818 bronze badges
asked Jul 31 at 3:40
Igor LiferenkoIgor Liferenko
2,7648 silver badges31 bronze badges
add a comment |
This is the input:
$left|-inftyright|showlists$
end
This is the output:
mathinner
.left"26A30C
.mathbin
..fam2 ^^@
.mathord
..fam2 1
.right"26A30C
It is not clear to what atoms correspond left"26A30C and right"26A30C.
It cannot be Open and Close, because according to the table on p.170 of TeXbook Open cannot be followed by Bin (the table entry is *).
math-mode tex-core
edited Jul 31 at 6:33
Mico
301k33 gold badges412 silver badges818 bronze badges
asked Jul 31 at 3:40
Igor LiferenkoIgor Liferenko
2,7648 silver badges31 bronze badges
This is the input:
$left|-inftyright|showlists$
end
This is the output:
mathinner
.left"26A30C
.mathbin
..fam2 ^^@
.mathord
..fam2 1
.right"26A30C
It is not clear to what atoms correspond left"26A30C and right"26A30C.
It cannot be Open and Close, because according to the table on p.170 of TeXbook Open cannot be followed by Bin (the table entry is *).
math-mode tex-core
math-mode tex-core
edited Jul 31 at 6:33
Mico
301k33 gold badges412 silver badges818 bronze badges
asked Jul 31 at 3:40
Igor LiferenkoIgor Liferenko
2,7648 silver badges31 bronze badges
edited Jul 31 at 6:33
Mico
301k33 gold badges412 silver badges818 bronze badges
asked Jul 31 at 3:40
Igor LiferenkoIgor Liferenko
2,7648 silver badges31 bronze badges
edited Jul 31 at 6:33
Mico
301k33 gold badges412 silver badges818 bronze badges
edited Jul 31 at 6:33
Mico
301k33 gold badges412 silver badges818 bronze badges
edited Jul 31 at 6:33
Mico
301k33 gold badges412 silver badges818 bronze badges
301k33 gold badges412 silver badges818 bronze badges
asked Jul 31 at 3:40
Igor LiferenkoIgor Liferenko
2,7648 silver badges31 bronze badges
asked Jul 31 at 3:40
Igor LiferenkoIgor Liferenko
2,7648 silver badges31 bronze badges
asked Jul 31 at 3:40
Igor LiferenkoIgor Liferenko
2,7648 silver badges31 bronze badges
2,7648 silver badges31 bronze badges
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
You wrote,
[The status of
left|] cannot beOpen..., because according to the table on p.170 of TeXbookOpencannot be followed byBin(the table entry is*)
This interpretation of the table on p. 170 of the TeXbook is not entirely correct. See, e.g., @egreg's [who else?!] follow-up comment to me below his answer to the question What's the right space to right the alignment of a right aligned align environment?.
The better way to interpret the meaning of * in the table on p. 170 of the TeXbook is this: If TeX encounters an "impossible combination" -- such as open followed by bin -- then the status of the bin atom is changed to ord.
Let's apply this to left|-inftyright|:
left|has statusmathopen.-has statusmathbinby default. However, becauseopen/binis an "impossible" combination, the status of-is changed toord. Observe that the end result is exactly as it should be, since-is a unary operator, not a binary operator, in the formula at hand.inftyhas statusord. No problem either, since no extra space is inserted between-andinfty-- as is appropriate for a unary operator.right|has statusmathclose; still no problem.
answered Jul 31 at 4:47
MicoMico
301k33 gold badges412 silver badges818 bronze badges
add a comment |
If you modify your example into
tracingonline=1 showboxdepth=maxdimen showboxbreadth=maxdimen
$mathopen|-inftymathclose| left|-inftyright|showlists$showlists
end
you get on the terminal
### math mode entered at line 3
mathopen
.fam2 j
mathbin
.fam2 ^^@
mathord
.fam2 1
mathclose
.fam2 j
mathinner
.left"26A30C
.mathbin
..fam2 ^^@
.mathord
..fam2 1
.right"26A30C
which should answer your question: the “change” of the mathbin atom happens later, when spaces are being inserted during the conversion of the math list to a horizontal list. Indeed, the second showlists yields
### horizontal mode entered at line 3
hbox(0.0+0.0)x20.0
mathon
tensy j
tensy ^^@
tensy 1
tensy j
glue(thinmuskip) 1.66663
hbox(7.5+2.5)x23.33339
.hbox(7.5+2.5)x2.77779
..tensy j
.tensy ^^@
.tensy 1
.hbox(7.5+2.5)x2.77779
..tensy j
mathoff
Note that the ASCII code of j is "6A, so in all cases the same glyph is used to realize the vertical bar.
answered Jul 31 at 10:07
egregegreg
761k90 gold badges1988 silver badges3337 bronze badges
add a comment |
Your Answer
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "85"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: false,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: null,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2ftex.stackexchange.com%2fquestions%2f502202%2fto-which-atoms-correspond-left-and-right-in-showlists%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
You wrote,
[The status of
left|] cannot beOpen..., because according to the table on p.170 of TeXbookOpencannot be followed byBin(the table entry is*)
This interpretation of the table on p. 170 of the TeXbook is not entirely correct. See, e.g., @egreg's [who else?!] follow-up comment to me below his answer to the question What's the right space to right the alignment of a right aligned align environment?.
The better way to interpret the meaning of * in the table on p. 170 of the TeXbook is this: If TeX encounters an "impossible combination" -- such as open followed by bin -- then the status of the bin atom is changed to ord.
Let's apply this to left|-inftyright|:
left|has statusmathopen.-has statusmathbinby default. However, becauseopen/binis an "impossible" combination, the status of-is changed toord. Observe that the end result is exactly as it should be, since-is a unary operator, not a binary operator, in the formula at hand.inftyhas statusord. No problem either, since no extra space is inserted between-andinfty-- as is appropriate for a unary operator.right|has statusmathclose; still no problem.
answered Jul 31 at 4:47
MicoMico
301k33 gold badges412 silver badges818 bronze badges
add a comment |
You wrote,
[The status of
left|] cannot beOpen..., because according to the table on p.170 of TeXbookOpencannot be followed byBin(the table entry is*)
This interpretation of the table on p. 170 of the TeXbook is not entirely correct. See, e.g., @egreg's [who else?!] follow-up comment to me below his answer to the question What's the right space to right the alignment of a right aligned align environment?.
The better way to interpret the meaning of * in the table on p. 170 of the TeXbook is this: If TeX encounters an "impossible combination" -- such as open followed by bin -- then the status of the bin atom is changed to ord.
Let's apply this to left|-inftyright|:
left|has statusmathopen.-has statusmathbinby default. However, becauseopen/binis an "impossible" combination, the status of-is changed toord. Observe that the end result is exactly as it should be, since-is a unary operator, not a binary operator, in the formula at hand.inftyhas statusord. No problem either, since no extra space is inserted between-andinfty-- as is appropriate for a unary operator.right|has statusmathclose; still no problem.
answered Jul 31 at 4:47
MicoMico
301k33 gold badges412 silver badges818 bronze badges
add a comment |
You wrote,
[The status of
left|] cannot beOpen..., because according to the table on p.170 of TeXbookOpencannot be followed byBin(the table entry is*)
This interpretation of the table on p. 170 of the TeXbook is not entirely correct. See, e.g., @egreg's [who else?!] follow-up comment to me below his answer to the question What's the right space to right the alignment of a right aligned align environment?.
The better way to interpret the meaning of * in the table on p. 170 of the TeXbook is this: If TeX encounters an "impossible combination" -- such as open followed by bin -- then the status of the bin atom is changed to ord.
Let's apply this to left|-inftyright|:
left|has statusmathopen.-has statusmathbinby default. However, becauseopen/binis an "impossible" combination, the status of-is changed toord. Observe that the end result is exactly as it should be, since-is a unary operator, not a binary operator, in the formula at hand.inftyhas statusord. No problem either, since no extra space is inserted between-andinfty-- as is appropriate for a unary operator.right|has statusmathclose; still no problem.
answered Jul 31 at 4:47
MicoMico
301k33 gold badges412 silver badges818 bronze badges
You wrote,
[The status of
left|] cannot beOpen..., because according to the table on p.170 of TeXbookOpencannot be followed byBin(the table entry is*)
This interpretation of the table on p. 170 of the TeXbook is not entirely correct. See, e.g., @egreg's [who else?!] follow-up comment to me below his answer to the question What's the right space to right the alignment of a right aligned align environment?.
The better way to interpret the meaning of * in the table on p. 170 of the TeXbook is this: If TeX encounters an "impossible combination" -- such as open followed by bin -- then the status of the bin atom is changed to ord.
Let's apply this to left|-inftyright|:
left|has statusmathopen.-has statusmathbinby default. However, becauseopen/binis an "impossible" combination, the status of-is changed toord. Observe that the end result is exactly as it should be, since-is a unary operator, not a binary operator, in the formula at hand.inftyhas statusord. No problem either, since no extra space is inserted between-andinfty-- as is appropriate for a unary operator.right|has statusmathclose; still no problem.
answered Jul 31 at 4:47
MicoMico
301k33 gold badges412 silver badges818 bronze badges
edited Jul 31 at 4:52
answered Jul 31 at 4:47
MicoMico
301k33 gold badges412 silver badges818 bronze badges
answered Jul 31 at 4:47
MicoMico
301k33 gold badges412 silver badges818 bronze badges
answered Jul 31 at 4:47
MicoMico
301k33 gold badges412 silver badges818 bronze badges
301k33 gold badges412 silver badges818 bronze badges
add a comment |
add a comment |
If you modify your example into
tracingonline=1 showboxdepth=maxdimen showboxbreadth=maxdimen
$mathopen|-inftymathclose| left|-inftyright|showlists$showlists
end
you get on the terminal
### math mode entered at line 3
mathopen
.fam2 j
mathbin
.fam2 ^^@
mathord
.fam2 1
mathclose
.fam2 j
mathinner
.left"26A30C
.mathbin
..fam2 ^^@
.mathord
..fam2 1
.right"26A30C
which should answer your question: the “change” of the mathbin atom happens later, when spaces are being inserted during the conversion of the math list to a horizontal list. Indeed, the second showlists yields
### horizontal mode entered at line 3
hbox(0.0+0.0)x20.0
mathon
tensy j
tensy ^^@
tensy 1
tensy j
glue(thinmuskip) 1.66663
hbox(7.5+2.5)x23.33339
.hbox(7.5+2.5)x2.77779
..tensy j
.tensy ^^@
.tensy 1
.hbox(7.5+2.5)x2.77779
..tensy j
mathoff
Note that the ASCII code of j is "6A, so in all cases the same glyph is used to realize the vertical bar.
answered Jul 31 at 10:07
egregegreg
761k90 gold badges1988 silver badges3337 bronze badges
add a comment |
If you modify your example into
tracingonline=1 showboxdepth=maxdimen showboxbreadth=maxdimen
$mathopen|-inftymathclose| left|-inftyright|showlists$showlists
end
you get on the terminal
### math mode entered at line 3
mathopen
.fam2 j
mathbin
.fam2 ^^@
mathord
.fam2 1
mathclose
.fam2 j
mathinner
.left"26A30C
.mathbin
..fam2 ^^@
.mathord
..fam2 1
.right"26A30C
which should answer your question: the “change” of the mathbin atom happens later, when spaces are being inserted during the conversion of the math list to a horizontal list. Indeed, the second showlists yields
### horizontal mode entered at line 3
hbox(0.0+0.0)x20.0
mathon
tensy j
tensy ^^@
tensy 1
tensy j
glue(thinmuskip) 1.66663
hbox(7.5+2.5)x23.33339
.hbox(7.5+2.5)x2.77779
..tensy j
.tensy ^^@
.tensy 1
.hbox(7.5+2.5)x2.77779
..tensy j
mathoff
Note that the ASCII code of j is "6A, so in all cases the same glyph is used to realize the vertical bar.
answered Jul 31 at 10:07
egregegreg
761k90 gold badges1988 silver badges3337 bronze badges
add a comment |
If you modify your example into
tracingonline=1 showboxdepth=maxdimen showboxbreadth=maxdimen
$mathopen|-inftymathclose| left|-inftyright|showlists$showlists
end
you get on the terminal
### math mode entered at line 3
mathopen
.fam2 j
mathbin
.fam2 ^^@
mathord
.fam2 1
mathclose
.fam2 j
mathinner
.left"26A30C
.mathbin
..fam2 ^^@
.mathord
..fam2 1
.right"26A30C
which should answer your question: the “change” of the mathbin atom happens later, when spaces are being inserted during the conversion of the math list to a horizontal list. Indeed, the second showlists yields
### horizontal mode entered at line 3
hbox(0.0+0.0)x20.0
mathon
tensy j
tensy ^^@
tensy 1
tensy j
glue(thinmuskip) 1.66663
hbox(7.5+2.5)x23.33339
.hbox(7.5+2.5)x2.77779
..tensy j
.tensy ^^@
.tensy 1
.hbox(7.5+2.5)x2.77779
..tensy j
mathoff
Note that the ASCII code of j is "6A, so in all cases the same glyph is used to realize the vertical bar.
answered Jul 31 at 10:07
egregegreg
761k90 gold badges1988 silver badges3337 bronze badges
If you modify your example into
tracingonline=1 showboxdepth=maxdimen showboxbreadth=maxdimen
$mathopen|-inftymathclose| left|-inftyright|showlists$showlists
end
you get on the terminal
### math mode entered at line 3
mathopen
.fam2 j
mathbin
.fam2 ^^@
mathord
.fam2 1
mathclose
.fam2 j
mathinner
.left"26A30C
.mathbin
..fam2 ^^@
.mathord
..fam2 1
.right"26A30C
which should answer your question: the “change” of the mathbin atom happens later, when spaces are being inserted during the conversion of the math list to a horizontal list. Indeed, the second showlists yields
### horizontal mode entered at line 3
hbox(0.0+0.0)x20.0
mathon
tensy j
tensy ^^@
tensy 1
tensy j
glue(thinmuskip) 1.66663
hbox(7.5+2.5)x23.33339
.hbox(7.5+2.5)x2.77779
..tensy j
.tensy ^^@
.tensy 1
.hbox(7.5+2.5)x2.77779
..tensy j
mathoff
Note that the ASCII code of j is "6A, so in all cases the same glyph is used to realize the vertical bar.
answered Jul 31 at 10:07
egregegreg
761k90 gold badges1988 silver badges3337 bronze badges
answered Jul 31 at 10:07
egregegreg
761k90 gold badges1988 silver badges3337 bronze badges
answered Jul 31 at 10:07
egregegreg
761k90 gold badges1988 silver badges3337 bronze badges
answered Jul 31 at 10:07
egregegreg
761k90 gold badges1988 silver badges3337 bronze badges
761k90 gold badges1988 silver badges3337 bronze badges
add a comment |
add a comment |
Thanks for contributing an answer to TeX - LaTeX Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2ftex.stackexchange.com%2fquestions%2f502202%2fto-which-atoms-correspond-left-and-right-in-showlists%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
