Spacing between two relational symbols
up vote
11
down vote
favorite
I have a relation symbol that I want to define through an equality. The problem is that when I do this, LaTeX puts too little space between the relation symbol and the equality symbol. My guess is that this is because both are relation symbols. Here is a MWE:
documentclass{article}
begin{document}
[cong_{mathcal{F}} = {(x,y) in X^2 mid forall F in mathcal{F}. x in F iff y in F}.]
end{document}
If I specify that = should be a binary operator, then the spacing between those two symbols is correct, but now the spacing between equality and the following set is too small:
documentclass{article}
begin{document}
[cong_{mathcal{F}} mathbin{=} {(x,y) in X^2 mid forall F in mathcal{F}. x in F iff y in F}.]
end{document}
So my question is: How do I ensure that the spacing around = is correct on both sides? I could try hacking it by inserting spacing manually until I'm happy, but I am hoping for a more standardised answer that will also work in other situations.
spacing symbols relation-symbols
New contributor
add a comment |
up vote
11
down vote
favorite
I have a relation symbol that I want to define through an equality. The problem is that when I do this, LaTeX puts too little space between the relation symbol and the equality symbol. My guess is that this is because both are relation symbols. Here is a MWE:
documentclass{article}
begin{document}
[cong_{mathcal{F}} = {(x,y) in X^2 mid forall F in mathcal{F}. x in F iff y in F}.]
end{document}
If I specify that = should be a binary operator, then the spacing between those two symbols is correct, but now the spacing between equality and the following set is too small:
documentclass{article}
begin{document}
[cong_{mathcal{F}} mathbin{=} {(x,y) in X^2 mid forall F in mathcal{F}. x in F iff y in F}.]
end{document}
So my question is: How do I ensure that the spacing around = is correct on both sides? I could try hacking it by inserting spacing manually until I'm happy, but I am hoping for a more standardised answer that will also work in other situations.
spacing symbols relation-symbols
New contributor
add a comment |
up vote
11
down vote
favorite
up vote
11
down vote
favorite
I have a relation symbol that I want to define through an equality. The problem is that when I do this, LaTeX puts too little space between the relation symbol and the equality symbol. My guess is that this is because both are relation symbols. Here is a MWE:
documentclass{article}
begin{document}
[cong_{mathcal{F}} = {(x,y) in X^2 mid forall F in mathcal{F}. x in F iff y in F}.]
end{document}
If I specify that = should be a binary operator, then the spacing between those two symbols is correct, but now the spacing between equality and the following set is too small:
documentclass{article}
begin{document}
[cong_{mathcal{F}} mathbin{=} {(x,y) in X^2 mid forall F in mathcal{F}. x in F iff y in F}.]
end{document}
So my question is: How do I ensure that the spacing around = is correct on both sides? I could try hacking it by inserting spacing manually until I'm happy, but I am hoping for a more standardised answer that will also work in other situations.
spacing symbols relation-symbols
New contributor
I have a relation symbol that I want to define through an equality. The problem is that when I do this, LaTeX puts too little space between the relation symbol and the equality symbol. My guess is that this is because both are relation symbols. Here is a MWE:
documentclass{article}
begin{document}
[cong_{mathcal{F}} = {(x,y) in X^2 mid forall F in mathcal{F}. x in F iff y in F}.]
end{document}
If I specify that = should be a binary operator, then the spacing between those two symbols is correct, but now the spacing between equality and the following set is too small:
documentclass{article}
begin{document}
[cong_{mathcal{F}} mathbin{=} {(x,y) in X^2 mid forall F in mathcal{F}. x in F iff y in F}.]
end{document}
So my question is: How do I ensure that the spacing around = is correct on both sides? I could try hacking it by inserting spacing manually until I'm happy, but I am hoping for a more standardised answer that will also work in other situations.
spacing symbols relation-symbols
spacing symbols relation-symbols
New contributor
New contributor
New contributor
asked yesterday
mrp
1586
1586
New contributor
New contributor
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
up vote
11
down vote
accepted
Just brace the symbol:
documentclass{article}
begin{document}
[
{cong_{mathcal{F}}} = {(x,y) in X^2 mid forall F in mathcal{F}. x in F iff y in F}.
]
end{document}
What happens is that TeX adds no space between consecutive relation atoms (cong_{mathcal{F}}
and =
), but when a symbol is braced it becomes an “ordinary atom”, just like a letter.
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
11
down vote
accepted
Just brace the symbol:
documentclass{article}
begin{document}
[
{cong_{mathcal{F}}} = {(x,y) in X^2 mid forall F in mathcal{F}. x in F iff y in F}.
]
end{document}
What happens is that TeX adds no space between consecutive relation atoms (cong_{mathcal{F}}
and =
), but when a symbol is braced it becomes an “ordinary atom”, just like a letter.
add a comment |
up vote
11
down vote
accepted
Just brace the symbol:
documentclass{article}
begin{document}
[
{cong_{mathcal{F}}} = {(x,y) in X^2 mid forall F in mathcal{F}. x in F iff y in F}.
]
end{document}
What happens is that TeX adds no space between consecutive relation atoms (cong_{mathcal{F}}
and =
), but when a symbol is braced it becomes an “ordinary atom”, just like a letter.
add a comment |
up vote
11
down vote
accepted
up vote
11
down vote
accepted
Just brace the symbol:
documentclass{article}
begin{document}
[
{cong_{mathcal{F}}} = {(x,y) in X^2 mid forall F in mathcal{F}. x in F iff y in F}.
]
end{document}
What happens is that TeX adds no space between consecutive relation atoms (cong_{mathcal{F}}
and =
), but when a symbol is braced it becomes an “ordinary atom”, just like a letter.
Just brace the symbol:
documentclass{article}
begin{document}
[
{cong_{mathcal{F}}} = {(x,y) in X^2 mid forall F in mathcal{F}. x in F iff y in F}.
]
end{document}
What happens is that TeX adds no space between consecutive relation atoms (cong_{mathcal{F}}
and =
), but when a symbol is braced it becomes an “ordinary atom”, just like a letter.
answered yesterday
egreg
698k8518573126
698k8518573126
add a comment |
add a comment |
mrp is a new contributor. Be nice, and check out our Code of Conduct.
mrp is a new contributor. Be nice, and check out our Code of Conduct.
mrp is a new contributor. Be nice, and check out our Code of Conduct.
mrp is a new contributor. Be nice, and check out our Code of Conduct.
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%2f460765%2fspacing-between-two-relational-symbols%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