\documentclass[a4paper,11pt]{report}
\usepackage[]{biblatex}
\usepackage[utf8]{inputenc}
\usepackage[us]{datetime2}
\usepackage{graphicx}
\usepackage{ragged2e}
\usepackage{blindtext}
\usepackage{amsmath, amssymb, amsthm, amscd, amsfonts}
\usepackage{mathrsfs}
\usepackage{mathtools}
\usepackage{mathabx}
\usepackage{esint}
\usepackage{gensymb}
\usepackage{derivative}
\usepackage{bigints}
\usepackage{mhchem}
\usepackage{multicol}
\usepackage{tikz}
\usepackage{tikz-cd}
\usepackage{enumerate}
\usepackage{caption}
\usepackage{subcaption}
\usepackage{float}
\usepackage{soul}
\usepackage{moresize}
\usepackage{wrapfig, lipsum}

\newtheorem{theorem}{Theorem}[section]
\newtheorem{corollary}{Corollary}[theorem]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{definition}{Definition}[section]
\newtheorem*{remark}{Remark}
\theoremstyle{remark}
\newtheorem*{note}{Note}
\theoremstyle{remark}
\newtheorem*{claim}{Claim}
\theoremstyle{definition}
\newtheorem{example}{Example}
\theoremstyle{definition}
\newtheorem{problem}{Problem}
\theoremstyle{definition}
\newtheorem{condition}{Condition}

\graphicspath{ {C:/Users/sona/Desktop/LaTeX/NUCT/graphics/} }

\pagenumbering{gobble}

\begin{document}
	
\sethlcolor{black}

\centering
\subsection*{Notation}

\vspace{10pt}

\begin{tabular}{c c}
	blank space & $gf$ \\
	= & $\implies$ \\
	$\mathscr{A}$(A, B) & $\mathscr{A}$(A, --) \\
	           \raggedleft Ok hold on 
	    \centering
	$\mathscr{A}$(-, A) & $\mathscr{A}$(--, --) \\
	$\mathscr{A}$(f, --) & $\mathscr{A}$(--, f) \\
	$\mathscr{B}^\mathscr{A}$ & $\leadsto$\\
	\hl{$\wedge$} & $\neg$ \ldots Stupid tabular \\
\end{tabular}
Test two.
\begin{wraptable}{r}{5.5 cm}
\begin{tabular}{c c}
	test & test
\end{tabular}
\end{wraptable}
\vspace{10pt}
\st{\textit{Character:}} right I should be doing this. \\
\textit{Hyperego:} smh still giving me errors
\begin{wraptable}{r}{3 cm}
	\begin{tabular}{c c}
		test & test
	\end{tabular}
\end{wraptable}
Words
\begin{wraptable}{l}{4.3 cm}
	\begin{tabular}{c c}
		$\star$ & $\circ$ \\
		$\forall$ & $\rightarrow$ \\
		$\rightarrowtail$ & $\tilde{\rightarrow}$ \\
		$\bot$, $\top$, $\vdash$, $\dashv$ & $\cong$ \\
		$\bigotimes$ & $\times$ \\
		$\bigoplus$ & $\prod$ \\
		$\coprod$ & $\bigvee$ \\
		$\coprod_{j \in J}$ & $\mathcal{C}$ \\
		$\sum$ & $\emptyset$ \\
		$\Delta$ & $\epsilon$ \\
		$\eta$ & $\pi_1$ \\
		$\omega$ &  $\mathbf{0, 1, 2}$ \\
		\textbf{Ab} & $( )_{\text{ab}}$ \\
		\textbf{Bilin} & \hl{\textbf{Cat}} \\
		\hl{\textbf{CAT}} & \includegraphics[width=6cm]{jct.png} \\
		\textbf{CRing} & \\
		\textbf{FDVect} & \textbf{Field} \\
		\textbf{FinSet} & \textbf{Grp} \\
		Hom & \textbf{Hom} \\
		Map($X, Y$) & \textbf{Mon} \\
		op & $()^{\text{op}}$ \\
		\textbf{Ring} & \textbf{Set} \\
		\textbf{Sym} & \textbf{Top} \\
		\textbf{T} & \text{T$_GX$} \\
		\textbf{Top}$_\star$ & \textbf{Toph} \\
		\textbf{Toph}$_\star$ & Vect$_k$
		%You exercise some omniscience by doing this.
	\end{tabular}
\end{wraptable}
Words 2 oh what the hell \ldots

\includegraphics[width=2.7cm]{2602.04425.png}

\normalsize
\raggedleft
\vspace*{180pt+27pt} $\fcolorbox{black}{white}{\textcolor{black}{Next Up: Category Theory}}$

% 法則 ("Fake"): no one's forcing you to read this! :p

\end{document}