Here is the code I usually add to all documents created after October 2024 which makes typing in easier and quicker. I also implemented the gaming cards symbols which I find funny to use.
%
% Document Class and Basic Setup
%
\documentclass[12pt]{article}
\date{\today}
\author{Simone Testino}
%
% Packages
%
% Standard packages for mathematics and symbols
\usepackage{amsmath, amssymb, amsfonts, amsthm, mathtools}
% Page geometry settings with individual margins (default to 2cm)
\usepackage{geometry}
\geometry{
left=2cm,
right=2cm,
top=2cm,
bottom=2cm
}
% Packages for graphics and diagrams
\usepackage{graphicx}
\usepackage{tikz}
\usepackage{quiver}
% Packages for color and text formatting
\usepackage[dvipsnames]{xcolor}
\usepackage{csquotes}
\usepackage{ulem}
% Hyperlinks
\usepackage{hyperref}
% Additional symbols
\usepackage{wasysym}
% Miscellaneous (enumeration, etc.)
\usepackage{enumerate}
%\usepackage{stix2} % Uncomment if needed for additional symbols
%
% Custom Commands: Math Shortwriting
%
Greek Letters
\newcommand{\vf}{\varphi}
\newcommand{\p}{\psi}
Logical Connectives
\renewcommand{\a}{\land}
\renewcommand{\o}{\lor}
\newcommand{\n}{\lnot}
Modal Operators (with new Box command)
\newcommand{\bx}{\Box} % now using \bx instead of \sq
\newcommand{\dm}{\lozenge}
Text Formatting: Redefine \emph to mimic \textit exactly
\renewcommand{\emph}[1]{\textit{#1}}
Miscellaneous Phrases and Footnotes
\newcommand{\fca}{for contradiction assume }
\newcommand{\Fca}{For contradiction assume }
\newcommand{\fn}[1]{\footnote{#1}}
Additional Logical and Structural Symbols
\newcommand{\Prop}{\text{Prop}}
\newcommand{\Atom}{\text{Atom}}
\newcommand{\FV}{\text{FV}}
Definition Style Environments
\theoremstyle{definition}
\newtheorem{Definition}{Definition}[section]
\newtheorem*{definition}{Definition}
\newtheorem{Exercise}[Definition]{Exercise}
\newtheorem*{exercise}{Exercise}
\newtheorem{Question}[Definition]{Question}
\newtheorem*{redquestion}{\textcolor{red}{Question}}
\newtheorem{redQuestion}{\textcolor{red}{Question}}
Remark Style Environments
\theoremstyle{remark}
\newtheorem{Remark}[Definition]{Remark}
\newtheorem*{remark}{Remark}
\newtheorem{Hypothesis}[Definition]{Hypothesis}
\newtheorem*{hypothesis}{Hypothesis}
\newtheorem*{example}{Example}
\newtheorem{Example}[Definition]{Example}
\newtheorem*{question}{Question}
\newtheorem{redProblem}{\textcolor{red}{Problem}}
\newtheorem*{redproblem}{\textcolor{red}{Problem}}
%
% Custom Environments for Proofs and Arguments
%
\newenvironment{happyproof}[1][\proofname]
{\renewcommand\qedsymbol{\smiley{}}\proof[#1]}
{\endproof}
\newenvironment{argument}[1][Argument]
{\renewcommand\qedsymbol{}\proof[#1]}
{\endproof}
\newenvironment{proof sketch}[1][\proofname]
{\renewcommand\qedsymbol{}\proof[#1]}
{\endproof}
%
% Hyperref Setup and Custom Hyperlink Commands
%
\hypersetup{
colorlinks=true,
linkcolor=darkgray,
urlcolor=darkgray,
citecolor=darkgray,
pdfborder={0 0 0}
}
\newcommand{\hor}[2]{\href{#1}{\dashuline{#2}}}
\newcommand{\horf}[2]{\hor{#1}{#2}\footnote{\hor{#1}{#1}}}
\newcommand{\hro}[2]{\href{#2}{\dashuline{#1}}}
\newcommand{\hrof}[2]{\hro{#1}{#2}\footnote{\hor{#2}{#2}}}