Fix some mathmode in docu (#1246)

thofma · Oct 17, 2023 · 6d81413 · 6d81413
1 parent 9f7426b
commit 6d81413
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docs/src/function_fields/degree_localization.md b/docs/src/function_fields/degree_localization.md
@@ -13,7 +13,7 @@ Given $k(x)$ a (univariate) rational function field, there are two rings of inte
 both of which are Euclidean:
 
 * $k[x]$
-* $k_\infty(x) = \{a/b | a, b \in k[x] \;\;\mbox{where}\;\; \deg(a) \leq \deg(b)\}
+* $k_\infty(x) = \{a/b | a, b \in k[x] \;\;\mbox{where}\;\; \deg(a) \leq \deg(b)\}$
 
 The second of these rings is the localization of $k[1/x]$ at $(1/x)$ inside the rational
 function field $k(x)$, i.e. the localization of the function field at the point at

diff --git a/src/FunField/DegreeLocalization.jl b/src/FunField/DegreeLocalization.jl
@@ -89,7 +89,7 @@ end
     in(a::Generic.RationalFunctionFieldElem{T}, R::KInftyRing{T}) where T <: FieldElement
 
 Return `true` if the given element of the rational function field is an
-element of `k_\infty(x)`, i.e. if `degree(numerator) <= degree(denominator)`.
+element of $k_\infty(x)$, i.e. if `degree(numerator) <= degree(denominator)`.
 """
 function in(a::Generic.RationalFunctionFieldElem{T}, R::KInftyRing{T}) where T <: FieldElement
   if parent(a) != function_field(R)