diff options
| author | Felix Yan | 2019-03-26 00:47:18 +0800 |
|---|---|---|
| committer | Andrew Waterman | 2019-03-25 09:47:18 -0700 |
| commit | ed7c8409d772964dba81de7d2076bc1aeb43c58e (patch) | |
| tree | a7718c0e1828c1a7982a202a2ad8fb3217775fc1 /spec | |
| parent | de20d4d7d0bb98430871d37e0a7c7c6612b44e0f (diff) | |
Correct a typo in spec.tex (#1063)
Diffstat (limited to 'spec')
| -rw-r--r-- | spec/spec.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spec/spec.tex b/spec/spec.tex index a55c4cc6..0a8e3a50 100644 --- a/spec/spec.tex +++ b/spec/spec.tex @@ -1606,7 +1606,7 @@ Given a component with a bundle type, the suffix \verb|$|{\em f} is appended to \subsection{Prefix Uniqueness} \label{prefix_unique} -The {\em symbol sequence} of a name is the ordered list of strings that results from splitting the name at each occurence of the `\$' character. +The {\em symbol sequence} of a name is the ordered list of strings that results from splitting the name at each occurrence of the `\$' character. A symbol sequence $a$ is a {\em prefix} of another symbol sequence $b$ if the strings in $a$ occur in the beginning of $b$. |