Improve some alignment

v-- · v-- · commit aa92fbc6ebb7 · 2025-11-27T04:50:04.000+02:00
diff --git a/classes/notebook.cls b/classes/notebook.cls
@@ -59,7 +59,6 @@
 \RequirePackage{numprint}
 \RequirePackage{blkarray}
 \RequirePackage{fancyvrb}
-\RequirePackage{diagbox}
 \RequirePackage{paracol}
 \RequirePackage{forest}
 
diff --git a/packages/math_environments.sty b/packages/math_environments.sty
@@ -25,17 +25,13 @@
 % Annotations for the backnaur package
 \NewDocumentEnvironment {bnfextra} {}
   {
-    \center
-    \leavevmode
-    \begingroup
-    \RenewDocumentCommand \arraystretch {} {1.2}
-    \tabular{R L L L}
+    \begin{equation*}
+    \RenewDocumentCommand \arraystretch {} {1.3}
+    \begin{array}{r l l l}
   }
   {
-    \endtabular
-    \endgroup
-    \endcenter
-    \leavevmode
+    \end{array}
+    \end{equation*}
   }
 
 
@@ -58,10 +54,10 @@
   {
     \begin{equation*}
     \begin{array}{| *{#1} {c |}}
-    \hline
+    \toprule
   }
   {
-    \\ \hline
+    \\ \bottomrule
     \end{array}
     \end{equation*}
   }
diff --git a/packages/math_macros.sty b/packages/math_macros.sty
@@ -261,15 +261,6 @@
       { \mathrel { \text{#2} } }
   }
 
-% diagbox math mode wrapper
-\NewDocumentCommand \mdiagbox {mm}
-  {
-    \hbox
-      {
-        \diagbox {\( #1 \)} {\( #2 \)}
-      }
-  }
-
 \NewDocumentCommand \ParacolAlignmentHack {}
   {
     % For some reason, equations are positioned badly without this hack
@@ -294,7 +285,8 @@
 \NewDocumentCommand \oline {sm}
   {
     \IfBooleanTF {#1}
-      { \overline{ \nb_raisebox:nn { #2 } {2.3pt} } }
+      % The lowered overline is based on https://tex.stackexchange.com/a/87615
+      { \overline{ \raisebox{0pt}[0.85\height]{ \( #2 \) } } }
       { \overline{ #2 } }
   }
 
diff --git a/text/group_actions.tex b/text/group_actions.tex
@@ -225,27 +225,27 @@ \section{Group actions}\label{sec:group_actions}
     We have listed the functions permuting \( a \), \( b \) and \( ab \) in \cref{tab:ex:def:automorphism_group/v4}.
 
     \begin{table}[!ht]
-      \begin{center}
-        \begin{tabular}{l l l l}
+      \begin{equation*}
+        \begin{array}{l l l l}
           \toprule
-          Cycle in \( S_3 \)   & \( a \)  & \( b \)  & \( ab \)  \\
+          \T{Cycle in} S_3 & a  & b  & ab \\
           \midrule
-          \( \id \)            & \( a \)  & \( b \)  & \( ab \)  \\
-          \( \cycle{ 1, 2 } \) & \( b \)  & \( a \)  & \( ab \)  \\
-          \( \cycle{ 1, 3 } \) & \( ab \) & \( b \)  & \( a \) \\
+          \id              & a  & b  & ab \\
+          \cycle{ 1, 2 }   & b  & a  & ab \\
+          \cycle{ 1, 3 }   & ab & b  & a  \\
           \bottomrule
-        \end{tabular}
+        \end{array}
         \quad
-        \begin{tabular}{l c c c}
+        \begin{array}{l c c c}
           \toprule
-          Cycle in \( S_3 \)      & \( a \)  & \( b \)  & \( ab \) \\
+          \T{Cycle in} S_3  & a  & b  & ab \\
           \midrule
-          \( \cycle{ 2, 3 } \)    & \( a \)  & \( ab \) & \( b \)  \\
-          \( \cycle{ 1, 2, 3 } \) & \( b \)  & \( ab \) & \( a \)  \\
-          \( \cycle{ 1, 3, 2 } \) & \( ab \) & \( a \)  & \( b \)  \\
+          \cycle{ 2, 3 }    & a  & ab & b  \\
+          \cycle{ 1, 2, 3 } & b  & ab & a  \\
+          \cycle{ 1, 3, 2 } & ab & a  & b  \\
           \bottomrule
-        \end{tabular}
-      \end{center}
+        \end{array}
+      \end{equation*}
       \caption{Isomorphisms of the \hyperref[def:klein_four_group]{Klein four-group} \( V_4 \)}\label{tab:ex:def:automorphism_group/v4}
     \end{table}
 
@@ -1157,14 +1157,16 @@ \section{Group actions}\label{sec:group_actions}
     \begin{equation*}
       \begin{array}{l !{\quad} *{6}{l}}
         \toprule
-        \mdiagbox{\tau}{\sigma} & \id               & \cycle{ 1, 2 }    & \cycle{ 1, 3 }    & \cycle{ 2, 3 }    & \cycle{ 1, 2, 3 } & \cycle{ 1, 3, 2 } \\
+                                 & \multicolumn{6}{c}{\sigma} \\
+        \cmidrule{2-7}
+        \multicolumn{1}{c}{\tau} & \id               & \cycle{ 1, 2 }    & \cycle{ 1, 3 }    & \cycle{ 2, 3 }    & \cycle{ 1, 2, 3 } & \cycle{ 1, 3, 2 } \\
         \midrule
-        \id                     & \id               & \cycle{ 1, 2 }    & \cycle{ 1, 3 }    & \cycle{ 2, 3 }    & \cycle{ 1, 2, 3 } & \cycle{ 1, 3, 2 } \\
-        \cycle{ 1, 2 }          & \cycle{ 1, 2 }    & \id               & \cycle{ 1, 3, 2 } & \cycle{ 1, 2, 3 } & \cycle{ 2, 3 }    & \cycle{ 1, 3 }    \\
-        \cycle{ 1, 3 }          & \cycle{ 1, 3 }    & \cycle{ 1, 2, 3 } & \id               & \cycle{ 1, 3, 2 } & \cycle{ 1, 2 }    & \cycle{ 2, 3 }    \\
-        \cycle{ 2, 3 }          & \cycle{ 2, 3 }    & \cycle{ 1, 3, 2 } & \cycle{ 1, 2, 3 } & \id               & \cycle{ 1, 3 }    & \cycle{ 1, 2 }    \\
-        \cycle{ 1, 2, 3 }       & \cycle{ 1, 2, 3 } & \cycle{ 1, 3 }    & \cycle{ 2, 3 }    & \cycle{ 1, 2 }    & \cycle{ 1, 3, 2 } & \id               \\
-        \cycle{ 1, 3, 2 }       & \cycle{ 1, 3, 2 } & \cycle{ 2, 3 }    & \cycle{ 1, 2 }    & \cycle{ 1, 3 }    & \id               & \cycle{ 1, 2, 3 } \\
+        \id                      & \id               & \cycle{ 1, 2 }    & \cycle{ 1, 3 }    & \cycle{ 2, 3 }    & \cycle{ 1, 2, 3 } & \cycle{ 1, 3, 2 } \\
+        \cycle{ 1, 2 }           & \cycle{ 1, 2 }    & \id               & \cycle{ 1, 3, 2 } & \cycle{ 1, 2, 3 } & \cycle{ 2, 3 }    & \cycle{ 1, 3 }    \\
+        \cycle{ 1, 3 }           & \cycle{ 1, 3 }    & \cycle{ 1, 2, 3 } & \id               & \cycle{ 1, 3, 2 } & \cycle{ 1, 2 }    & \cycle{ 2, 3 }    \\
+        \cycle{ 2, 3 }           & \cycle{ 2, 3 }    & \cycle{ 1, 3, 2 } & \cycle{ 1, 2, 3 } & \id               & \cycle{ 1, 3 }    & \cycle{ 1, 2 }    \\
+        \cycle{ 1, 2, 3 }        & \cycle{ 1, 2, 3 } & \cycle{ 1, 3 }    & \cycle{ 2, 3 }    & \cycle{ 1, 2 }    & \cycle{ 1, 3, 2 } & \id               \\
+        \cycle{ 1, 3, 2 }        & \cycle{ 1, 3, 2 } & \cycle{ 2, 3 }    & \cycle{ 1, 2 }    & \cycle{ 1, 3 }    & \id               & \cycle{ 1, 2, 3 } \\
         \bottomrule
       \end{array}
     \end{equation*}
diff --git a/text/heyting_algebras.tex b/text/heyting_algebras.tex
@@ -405,7 +405,7 @@ \section{Heyting algebras}\label{sec:heyting_algebras}
 
   \Cref{thm:def:heyting_algebra/dist} implies that
   \begin{equation*}
-    \underbrace{\bot \rightarrow (x \rightarrow \doline{x})}_\top \leq (\underbrace{(\bot \rightarrow x)}_\top \rightarrow (x \rightarrow \doline{x})).
+    \underbrace{\bot \rightarrow (x \rightarrow \doline{x})}_\top \leq \parens[\big]{ \underbrace{(\bot \rightarrow x)}_\top \rightarrow (x \rightarrow \doline{x}) }.
   \end{equation*}
 
   \Cref{thm:def:heyting_algebra/top_left} allows us to conclude that
@@ -487,7 +487,9 @@ \section{Heyting algebras}\label{sec:heyting_algebras}
     \begin{equation*}
       \begin{array}{r !{\quad} *{3}{c}}
         \toprule
-        \mdiagbox{x}{y} & F & N & T \\
+                        & \multicolumn{3}{c}{y} \\
+        \cmidrule{2-4}
+        x               & F & N & T \\
         \midrule
         F               & T & T & T \\
         N               & F & T & T \\

Original file line number	Diff line number	Diff line change
`@@ -25,17 +25,13 @@`
`25`	`25`	`% Annotations for the backnaur package`
`26`	`26`	`\NewDocumentEnvironment {bnfextra} {}`
`27`	`27`	`{`
`28`		`- \center`
`29`		`- \leavevmode`
`30`		`- \begingroup`
`31`		`- \RenewDocumentCommand \arraystretch {} {1.2}`
`32`		`- \tabular{R L L L}`
	`28`	`+ \begin{equation*}`
	`29`	`+ \RenewDocumentCommand \arraystretch {} {1.3}`
	`30`	`+ \begin{array}{r l l l}`
`33`	`31`	`}`
`34`	`32`	`{`
`35`		`- \endtabular`
`36`		`- \endgroup`
`37`		`- \endcenter`
`38`		`- \leavevmode`
	`33`	`+ \end{array}`
	`34`	`+ \end{equation*}`
`39`	`35`	`}`
`40`	`36`
`41`	`37`
`@@ -58,10 +54,10 @@`
`58`	`54`	`{`
`59`	`55`	`\begin{equation*}`
`60`	`56`	`\begin{array}{\| *{#1} {c \|}}`
`61`		`- \hline`
	`57`	`+ \toprule`
`62`	`58`	`}`
`63`	`59`	`{`
`64`		`- \\ \hline`
	`60`	`+ \\ \bottomrule`
`65`	`61`	`\end{array}`
`66`	`62`	`\end{equation*}`
`67`	`63`	`}`
Original file line number	Diff line number	Diff line change
`@@ -261,15 +261,6 @@`
`261`	`261`	`{ \mathrel { \text{#2} } }`
`262`	`262`	`}`
`263`	`263`
`264`		`-% diagbox math mode wrapper`
`265`		`-\NewDocumentCommand \mdiagbox {mm}`
`266`		`- {`
`267`		`- \hbox`
`268`		`- {`
`269`		`- \diagbox {\( #1 \)} {\( #2 \)}`
`270`		`- }`
`271`		`- }`
`272`		`-`
`273`	`264`	`\NewDocumentCommand \ParacolAlignmentHack {}`
`274`	`265`	`{`
`275`	`266`	`% For some reason, equations are positioned badly without this hack`
`@@ -294,7 +285,8 @@`
`294`	`285`	`\NewDocumentCommand \oline {sm}`
`295`	`286`	`{`
`296`	`287`	`\IfBooleanTF {#1}`
`297`		`- { \overline{ \nb_raisebox:nn { #2 } {2.3pt} } }`
	`288`	`+ % The lowered overline is based on https://tex.stackexchange.com/a/87615`
	`289`	`+ { \overline{ \raisebox{0pt}[0.85\height]{ \( #2 \) } } }`
`298`	`290`	`{ \overline{ #2 } }`
`299`	`291`	`}`
`300`	`292`