Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix remaining issues from PR #167, namely equation 105 #283

Merged
merged 1 commit into from
Apr 11, 2017
Merged

Fix remaining issues from PR #167, namely equation 105 #283

merged 1 commit into from
Apr 11, 2017

Conversation

Isweet
Copy link
Contributor

@Isweet Isweet commented Apr 1, 2017

This addresses remaining issues of PR #167.

I will close the other PR in favor of this one.

@@ -755,7 +755,7 @@ \section{Message Call} \label{ch:call}
0 & \text{if} \quad \boldsymbol{\sigma}^{**} = \varnothing \\
g^{**} & \text{otherwise}
\end{cases} \\
(\boldsymbol{\sigma}^{**}, g^{**}, \mathbf{s}, \mathbf{o}) & \equiv & \begin{cases}
\qquad (\boldsymbol{\sigma}^{**}, g^{**}, A, \mathbf{o}) & \equiv & \begin{cases}
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Does the \qquad make a difference here? I thought the whole tuple is right-aligned toward the \equiv symbol.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The equation numbering overlaps with the equation. This just scoots things over a bit. If theres a more elegant solution than qquad i'd be happy to do that instead.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I see. I have the same issue sometimes. Thanks.

@pirapira
Copy link
Member

Looks good.

@pirapira pirapira merged commit 82dff2a into ethereum:master Apr 11, 2017
@Isweet Isweet deleted the eqn-105-fix branch May 11, 2017 17:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants