最基础的步骤，我们要学习Jack写公式的方法。因为A good formalism is half the job!

Jack的所用的数学符号不是我们这个世界所熟悉的数学符号。所以，我们必须用我们世界的工业化、数字化的方式复刻这些神秘而优雅的符号：

经过本闹钟的不懈努力，终于在圣诞节前夕完成了这项造福人类的壮举：使用LaTeX自动生成Jack's Formalism:

在此本闹钟将其源代码公布如下，希望能够方便后人更加优雅地过圣诞节：

% The CHRISTMAS License

% Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:

% Copyright (c) 2020 Xiao Naozhong

\documentclass{article}

\usepackage{tikz}

\usepackage{physics}

\usepackage{bold-extra}

\usepackage{relsize}

\begin{document}

\[

\vcenter{\hbox{\resizebox{30}{30}{

\begin{tikzpicture}

\draw (0,0) circle [radius=0.75];

\draw[fill=black] (0,-0.2) circle [radius=0.1];

\draw[fill=black] (0,0.2) circle [radius=0.1];

\draw (0,1.2) circle [radius=0.5];

\draw[fill=black] (0,1.2) circle [radius=0.1];

\draw (0,2.0) circle [radius=0.3];

\draw[fill=black] (-0.1,2.06) circle [radius=0.06];

\draw[fill=black] (0.1,2.1) circle [radius=0.04];

\draw[thick] (0.1,1.95) -- (0.8,2.0);

\draw[thick] (-0.4,2.3) -- (0.4,2.3);

\draw[thick] (-0.1,2.3) -- (-0.1,2.8);

\draw[thick] (0.1,2.3) -- (0.13,2.95);

\draw[thick] (-0.1,2.8) -- (0.13,2.95);

\draw[thick] (-0.5,1.2) -- (-1.0,1.3);

\draw[thick] (0.5,1.2) -- (1.0,1.3);

\draw[thick] (1.0,1.3) -- (1.15,1.45);

\draw[thick] (1.0,1.3) -- (1.15,1.35);

\draw[thick] (1.0,1.3) -- (1.15,1.25);

\draw[thick] (-1.0,1.3) -- (-1.15,1.45);

\draw[thick] (-1.0,1.3) -- (-1.15,1.35);

\draw[thick] (-1.0,1.3) -- (-1.15,1.25);

\draw[thick] (1.1,-0.2) -- (1.2,2.8);

\draw[thick] (1.2,2.5) -- (1.45,2.8);

\draw[thick] (1.2,2.3) -- (0.85,2.8);

\end{tikzpicture}}

}} \mathlarger{\times} \left( \frac{\texttt{Chestnuts}}{\texttt{open fire}} \right)

\mathlarger{\divisionsymbol }\;

\vcenter{\hbox{\resizebox{20}{30}{

\begin{tikzpicture}

\draw[arc] (0,0) arc(0:180:0.6);

\draw (-1.2,0) -- (-1.6,-0.9);

\draw (0,0) -- (0.4,-0.9);

\draw (-1.6,-0.9) -- (0.4,-0.9);

\draw (-0.58,0.68) circle [radius=0.1];

\draw (-0.2,-0.9) -- (0,-1.2);

\draw (0.02,-1.26) circle [radius=0.1];

\end{tikzpicture}}

}} \stackrel{\mathlarger{12}}{\sqrt{\texttt{Dec.25}}}

+\; \texttt{Sandy}

\vcenter{\hbox{\resizebox{25}{25}{

\begin{tikzpicture}

\draw[arc] (0,0) arc(25:175:0.9);

\draw[arc] (0,-0.5) arc(-25:-175:0.9);

\draw (0.0,-0.5) -- (-0.4,-0.5);

\draw (-0.4,-0.5) -- (-0.45,-0.29);

\draw (-0.45,-0.29) -- (-0.65,-0.6);

\draw (-0.65,-0.6) -- (-0.85,-0.29);

\draw (-0.85,-0.29) -- (-1.10,-0.6);

\draw (-1.10,-0.6) -- (-1.35,-0.29);

\draw (-1.35,-0.29) -- (-1.45,-0.5);

\draw (-1.45,-0.5) -- (-1.7,-0.29);

\draw (0.0,0.0) -- (-0.4,0.2);

\draw (-0.4,0.2) -- (-0.65,0.0);

\draw (-0.65,0.0) -- (-0.85,0.2);

\draw (-0.85,0.2) -- (-1.00,0.0);

\draw (-1.00,0.0) -- (-1.20,0.2);

\draw (-1.20,0.2) -- (-1.40,0.0);

\draw (-1.40,0.0) -- (-1.50,0.1);

\draw (-1.50,0.1) -- (-1.70,-0.25);

\end{tikzpicture}}

}} \mathlarger{=} \; \texttt{\textbf{CHRISTMAS?}}

\]

\end{document}