I am attempting to allow following expressions in math mode:
\begin{flalign*}
\Gamma_1 ; x : T ; \Gamma_2 \vdash{}& x
&&\Rightarrow T & \\
\Gamma \vdash&{} \lambda(z : T).t
&&\Rightarrow \forall(z : T) U, & \\
\end{flalign*}
It produces text similar to following:
Γ 1 ; x ∶ T ; Γ 2 ⊢ x ⇒ T
Γ ⊢λ(z ∶ T ).t ⇒ ∀(z ∶ T )U,
My problem with it, is the \Rightarrow
is too far apart from whatever expression that comes after \vdash
immediately.
I wish I can produce following results as alignment:
Γ 1 ; x ∶ T ; Γ 2 ⊢ x ⇒ T
Γ ⊢ λ(z ∶ T ).t ⇒ ∀(z ∶ T )U,
Note that, the \Rightarrow
only goes as far as it needed, not far apart to form a separate column. Searching around the internet, there are examples aligning pushing to left by adding a trailing &
, but for some reason it does not work in my case. How would you solve this problem?
flalign
to begin with? Its name means “full length align”, not “flush left align”. – egreg Oct 20 '18 at 19:49align*
before but i saw a few answers useflalign*
. – Jason Hu Oct 20 '18 at 20:08