\ 数日前、これらのノートを見つけましたが、これらのノートの書き方に感銘を受けました。私も（数学の）ノートをこのように作りたいと思いました。
しかし、私は LaTeX (Overleaf) の初心者なので、ドキュメントをこのように変換する方法についてはよく知りませんでした。しかし、このサイトを数日間使用して、中央にセクションを記述したり、上部にページ番号を付けたりする方法などを何とか理解しました。
プリアンブルのコードは次のとおりです:
\documentclass[a4paper,twoside,english]{article}
%\usepackage[T1]{fontenc}
%\usepackage{tgtermes}
%\usepakage{times}
\usepackage[paperheight=600pt,paperwidth=515pt ,bottom=-7mm,right=22.4mm]{geometry}
\setlength{\headsep}{5mm}
%\setlength{\hoffset}{0pt}
\setlength{\oddsidemargin}{1pt}
%\setlength{\marginparwidth}{0mm}
%\setlength{\marginparsep}{0mm}
\setlength{\evensidemargin}{1pt}
\setlength{\footskip}{1.6mm}
\setlength{\voffset}{-8mm}
\setlength{\headheight}{5mm}
\setlength{\textwidth}{370pt}
\setlength{\textheight}{530pt}
%\usepackage{xcolor}
\usepackage{titlesec}
%\titleformat{\subsection}[hang]{\bfseries}{}{1em}{}
%\setcounter{secnumdepth}{1}
%\usepackage{sectsty}
%\allsectionsfont{\centering}
%\titlelabel{\thetitle . \enspace}
\renewcommand\thesection{\arabic{section}.}
\titleformat{\section}[block]{\Large\centering}{\arabic{section}.}{1em}{}
%\sectionfont{\centering}
\usepackage{fancyhdr}
\usepackage{calc}
%\usepackage{showframe}
%\usepackage{fourier}
\usepackage{graphicx} % Required for inserting images
\usepackage{blindtext}
\usepackage{amsfonts,amsmath,amssymb,amsthm}
%\renewcommand\thesubsection{\thesection.\arabic{subsection}}
質問: しかし、私が困っているのは、これらのフォントスタイルの名前は何なのか、そしてこれらのフォントを私のブラウザに読み込むにはどうすればよいのかということです。全体書類？
さらに、同様の余白も設定しようとしました。しかし、PDF を見ただけでは余白を把握できませんでした。PDF から同様の余白を把握することは可能ですか?可能であれば、どのようにすればよいですか?
どのような助けでもいただければ幸いです。ありがとうございます。
編集:
ここで私が話しているのは、文書全体のフォントスタイルです。一見すると、このPDFのフォントはデフォルトのように見えますが、私が書いたPDF（デフォルトのフォント）と比較すると、
ドキュメント内のフォントがデフォルトではないことがわかりました。
編集.2
最小限の動作例は
\documentclass[a4paper,twoside,english]{article}
\usepackage{graphicx} % Required for inserting images
\usepackage[paperheight=600pt,paperwidth=515pt ,bottom=-7mm,right=22.4mm]{geometry}
\setlength{\headsep}{5mm}
\setlength{\oddsidemargin}{1pt}
\setlength{\evensidemargin}{1pt}
\setlength{\footskip}{1.6mm}
\setlength{\voffset}{-8mm}
\setlength{\headheight}{5mm}
\setlength{\textwidth}{370pt}
\setlength{\textheight}{530pt}
\usepackage{times}
\usepackage{titlesec}
\renewcommand\thesection{\arabic{section}.}
\titleformat{\section}[block]{\Large\centering\scshape}{\arabic{section}.}{1em}{}
\usepackage{fancyhdr}
\usepackage{blindtext}
\usepackage{amsfonts,amsmath,amssymb,amsthm}
\title{My doc}
\begin{document}
\section{Hello}
\blindtext
\end{document}
編集.3
Mirco の助けと指導により、Mirco コードを少し変更して、本当に望んでいたものを手に入れました。
さらに、PDF の寸法が 11.33 × 14.67 インチ (縦) であることが分かりました。これをドキュメントに反映させるにはどうすればよいでしょうか?
\documentclass{amsart}
\usepackage[a4paper,margin=3.75cm, top=1.74cm,bottom=1.5cm,left=3.74cm,right=3.74cm]{geometry}
\usepackage[english]{babel}
\hyphenation{pre-image} % avoid "preim-age"
\usepackage{cleveref} % for "clever" cross-references
\usepackage{fancyhdr}
\pagestyle{fancy}
\fancyhead[C]{REAL ANALYSIS}
\fancyhead[LE,RO]{\thepage}
\fancyfoot{}
\renewcommand{\headrulewidth}{0pt}
\usepackage{blindtext}
%\usepackage{amsthm} % is loaded automatically by 'amsart' class
\theoremstyle{theorem} % italic lettering
\newtheorem{theorem}{Theorem}[section]
\newtheorem{proposition}[theorem]{Proposition} % all theorem-like environments to share the same counter
\theoremstyle{definition} % upright lettering
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\theoremstyle{remark}
\newtheorem*{remark}{Remark} % 'remark' env.: not numbered
\usepackage[scr=euler]{mathalpha} % for "Euler script"
\usepackage{enumitem} % for \newlist and \setlist macros
\newlist{thmenumerate}{enumerate}{1} % 'enumerate'-like list
\setlist[thmenumerate]{label=\upshape(\alph*)} % alphabetical numbering
\crefname{thmenumeratei}{part}{parts} % label for parts of enumerated list
% -------------
\begin{document}
\section{Real Analysis}
\addtocounter{theorem}{2} % just for this example
\noindent
(earlier stuff)
\begin{definition}
Let $(X,\mathscr{M})$ be a measurable space. A function $f\colon X\to[-\infty,\infty]$ is said to be $\mathscr{M}$-measurable (or simply \emph{measurable} when the context is clear) if the preimage
$f^{-1}((a,\infty])=\{x\in X\colon f(x)>a\}$ is measurable for every real number~$a$.
\end{definition}
\begin{example} \phantom{.}\par % force an immediate line break
\begin{thmenumerate}
\item Constant functions are measurable.
\item Given a subset $A$ of $X$, the characteristic function $\chi_{A}$ is a measurable function if and only if $A$ is measurable.
\item The continuous functions $f\colon \mathbb{R}^d\to \mathbb{R}$ are \dots
\item The monotone functions $f\colon \mathbb{R}\to \mathbb{R}$ are \dots
\end{thmenumerate}
\end{example}
\begin{proposition}
Let $(X,\mathscr{M})$ be a measurable space and let $f\colon X\to[-\infty,\infty]$ be a function. Then the following statements are equivalent:
\begin{thmenumerate}
\item For every real number $a$, the set \dots
\item For every real number $a$, the set \dots
\item For every real number $a$, the set \dots
\item For every real number $a$, the set \dots
\end{thmenumerate}
\end{proposition}
\begin{proposition}
Let $(X,\mathscr{M})$ be a measurable space. If $f$ and $g$ are measurable functions defined on $X$, then the sets
\begin{thmenumerate}
\item \label{part:greaterthan} $\{x\in X\colon f(x)>g(x)\}$,
\item \label{part:greaterthanorequal} $\{x\in X\colon f(x)\ge g(x)\}$, and
\item \label{part:equal} $\{x\in X\colon f(x)=g(x)\}$
\end{thmenumerate}
are all measurable.
\end{proposition}
\begin{proof}
If $r_1,r_2,\dots$ is an enumeration of the rational numbers, then
\[
\{x\in X : f(x)>g(x)\} =
\bigcup_{n=1}^{\infty} \bigl[x\in X: f(x)>r_n\} \cap
\{x\in X: g(x)<r_n\}\bigr]
\]
is measurable since it is a countable union of measurable sets, establishing \cref{part:greaterthan}.
\Cref{part:greaterthanorequal} follows by noting that
\[
\{x\in X: f(x)\ge g(x)\}=\{x\in X: g(x)>f(x)\}^c,
\]
is measurable by \ref{part:greaterthan}.
Finally, to show \cref{part:equal} observe that
\[
\{x\in X:f(x)=g(x)\}=\{x\in X: f(x)\ge g(x)\} \cap
\{x\in X: g(x)\ge f(x)\}
\]
is measurable by \ref{part:greaterthanorequal}.
\end{proof}
\begin{remark}
We now want to show that \dots
\end{remark}
\noindent
(more stuff)
\section{Measure}
\begin{definition}
By a \emph{measure} $\mu$ on a measurable space $(X,\mathscr{M})$, we mean an extended real valued nonnegative set function $\mu\colon\mathscr{M}\to[0, \infty]$ for which $\mu(\emptyset)=0$ and which is \emph{countably additive} in the sense that for any countable disjoint collection $\{E_n\}_{n=1}^{\infty}$ of measurable sets,
\[
\mu\biggl(\,\bigcup_{n=1}^{\infty} E_n \biggr) =
\sum_{n=1}^{\infty} \mu(E_n)\,.
\]
By a \emph{measure space} $(X,\mathscr{M},\mu)$ we mean a measurable space $(X,\mathscr{M})$ together with a meausure~$\mu$ defined on~$\mathscr{M}$.
\end{definition}
\blindtext
\blindtext[4]
\section{Blind}
\blindtext[4]
\section{Help}
\blindtext[4]
\end{document}
答え1
ドキュメントのデザイン要素を選択する際に、車輪の再発明をするよりも、セクション ヘッダーの書式設定など、対象のドキュメントの多くの構造要素を既に定義している適切なドキュメント クラスを使用します。特定のドキュメントの場合、amsartドキュメント クラスが有力候補の 1 つであると思われます。ドキュメント クラスは、、、およびパッケージamsartも自動的に読み込みます。amsmathamssymbamsthm
geometryまた、LaTeX パッケージの機能(ページと余白のパラメータを設定するため)、enumitem(たとえば、カスタムの列挙型リストのため)、cleveref(相互参照のため) などを有効活用してください。
\documentclass{amsart}
\usepackage[a4paper,margin=3.75cm]{geometry}
\usepackage[english]{babel}
\hyphenation{pre-image} % avoid "preim-age"
\usepackage{cleveref} % for "clever" cross-references
%\usepackage{amsthm} % is loaded automatically by 'amsart' class
\theoremstyle{theorem} % italic lettering
\newtheorem{theorem}{Theorem}[section]
\newtheorem{proposition}[theorem]{Proposition} % all theorem-like environments to share the same counter
\theoremstyle{definition} % upright lettering
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\theoremstyle{remark}
\newtheorem*{remark}{Remark} % 'remark' env.: not numbered
\usepackage[scr=euler]{mathalpha} % for "Euler script"
\usepackage{enumitem} % for \newlist and \setlist macros
\newlist{thmenumerate}{enumerate}{1} % 'enumerate'-like list
\setlist[thmenumerate]{label=\upshape(\alph*)} % alphabetical numbering
\crefname{thmenumeratei}{part}{parts} % label for parts of enumerated list
% -------------
\begin{document}
\section{Real Analysis}
\addtocounter{theorem}{2} % just for this example
\noindent
(earlier stuff)
\begin{definition}
Let $(X,\mathscr{M})$ be a measurable space. A function $f\colon X\to[-\infty,\infty]$ is said to be $\mathscr{M}$-measurable (or simply \emph{measurable} when the context is clear) if the preimage
$f^{-1}((a,\infty])=\{x\in X\colon f(x)>a\}$ is measurable for every real number~$a$.
\end{definition}
\begin{example} \phantom{.}\par % force an immediate line break
\begin{thmenumerate}
\item Constant functions are measurable.
\item Given a subset $A$ of $X$, the characteristic function $\chi_{A}$ is a measurable function if and only if $A$ is measurable.
\item The continuous functions $f\colon \mathbb{R}^d\to \mathbb{R}$ are \dots
\item The monotone functions $f\colon \mathbb{R}\to \mathbb{R}$ are \dots
\end{thmenumerate}
\end{example}
\begin{proposition}
Let $(X,\mathscr{M})$ be a measurable space and let $f\colon X\to[-\infty,\infty]$ be a function. Then the following statements are equivalent:
\begin{thmenumerate}
\item For every real number $a$, the set \dots
\item For every real number $a$, the set \dots
\item For every real number $a$, the set \dots
\item For every real number $a$, the set \dots
\end{thmenumerate}
\end{proposition}
\begin{proposition}
Let $(X,\mathscr{M})$ be a measurable space. If $f$ and $g$ are measurable functions defined on $X$, then the sets
\begin{thmenumerate}
\item \label{part:greaterthan} $\{x\in X\colon f(x)>g(x)\}$,
\item \label{part:greaterthanorequal} $\{x\in X\colon f(x)\ge g(x)\}$, and
\item \label{part:equal} $\{x\in X\colon f(x)=g(x)\}$
\end{thmenumerate}
are all measurable.
\end{proposition}
\begin{proof}
If $r_1,r_2,\dots$ is an enumeration of the rational numbers, then
\[
\{x\in X : f(x)>g(x)\} =
\bigcup_{n=1}^{\infty} \bigl[x\in X: f(x)>r_n\} \cap
\{x\in X: g(x)<r_n\}\bigr]
\]
is measurable since it is a countable union of measurable sets, establishing \cref{part:greaterthan}.
\Cref{part:greaterthanorequal} follows by noting that
\[
\{x\in X: f(x)\ge g(x)\}=\{x\in X: g(x)>f(x)\}^c,
\]
is measurable by \ref{part:greaterthan}.
Finally, to show \cref{part:equal} observe that
\[
\{x\in X:f(x)=g(x)\}=\{x\in X: f(x)\ge g(x)\} \cap
\{x\in X: g(x)\ge f(x)\}
\]
is measurable by \ref{part:greaterthanorequal}.
\end{proof}
\begin{remark}
We now want to show that \dots
\end{remark}
\noindent
(more stuff)
\section{Measure}
\begin{definition}
By a \emph{measure} $\mu$ on a measurable space $(X,\mathscr{M})$, we mean an extended real valued nonnegative set function $\mu\colon\mathscr{M}\to[0, \infty]$ for which $\mu(\emptyset)=0$ and which is \emph{countably additive} in the sense that for any countable disjoint collection $\{E_n\}_{n=1}^{\infty}$ of measurable sets,
\[
\mu\biggl(\,\bigcup_{n=1}^{\infty} E_n \biggr) =
\sum_{n=1}^{\infty} \mu(E_n)\,.
\]
By a \emph{measure space} $(X,\mathscr{M},\mu)$ we mean a measurable space $(X,\mathscr{M})$ together with a meausure~$\mu$ defined on~$\mathscr{M}$.
\end{definition}
\end{document}