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}}}