输出不起作用，并且有信息“缺少$插入”

Question 1

如果它符合您的需要，请尝试一下。

% Run: *latex mal-first-math.tex
\documentclass[a4paper]{article}
\pagestyle{empty}
\usepackage{amsmath}
\usepackage{amssymb}
\begin{document}
Some notes before mathematics. 
S himpunan. $A(S)=\{f:S \to S \mid\text{f pemetaan satu-satu dan pada}\},\ T\subsetneq{S},\ H =\{f(t) \in{A(S)} \mid f(t) \in{T}; \forall\{t \in{T}\}$. Text after mathematics.
\end{document}

Answer

如果它符合您的需要，请尝试一下。

% Run: *latex mal-first-math.tex
\documentclass[a4paper]{article}
\pagestyle{empty}
\usepackage{amsmath}
\usepackage{amssymb}
\begin{document}
Some notes before mathematics. 
S himpunan. $A(S)=\{f:S \to S \mid\text{f pemetaan satu-satu dan pada}\},\ T\subsetneq{S},\ H =\{f(t) \in{A(S)} \mid f(t) \in{T}; \forall\{t \in{T}\}$. Text after mathematics.
\end{document}

Question 2

你必须将数学放在适当的环境中：数学公式使用特殊的约定，虽然 LaTeX 知道这些约定，但必须告诉它什么时候有些东西是数学。

因此你的输入应该是：

S himpunan. \(A(S)=\{f\colon S \to S \mid \text{\(f\) pemetaan satu-satu dan pada}\}\),
\(T\subsetneq{S}\), \(H =\{f(t) \in A(S) \mid f(t) \in T; \forall t \in T\}\).

请注意，这些是三不同的配方，每一个都被

\( ... \)

标记数学。在定义第一个集合的条件中，我使用了“数学内部\text”，这是一种更方便的方法，因为 TeX 会忽略数学模式中的空格，而使用其自己的（良好）间距符号方法。

还要注意，\in不带参数，同样\forall：使用较少的括号将澄清含义。

一组集合的第一个长文本描述可能会出现分段问题；在这种情况下，您可以尝试进入和退出数学模式

\(A(S)=\{f\colon S \to S \mid f\) pemetaan satu-satu dan pada\(\}\),

或者，可能更好的是，避免使用设置描述符：

we denote by \(A(S)\) the set of injective functions $f\colon S\to S$

（翻译正确吗？）。

Answer