Corrected LaTex -> LaTeX

Author: Cubix1729

README.md

@@ -19,7 +19,7 @@ The main features include:
  - The implementation of a Hilbert-style proof system
  - Automated theorem proving with the resolution procedure
 
-The library also supports LaTex code generation for most of its functionalities.
+The library also supports LaTeX code generation for most of its functionalities.
 
 For the complete documentation, see [https://cubix1729.github.io/logicalpy/](https://cubix1729.github.io/logicalpy/).
 

docs/index.md

@@ -19,7 +19,7 @@ The main features include:
  - The implementation of a Hilbert-style proof system
  - Automated theorem proving with the resolution procedure
 
-The library also supports LaTex code generation for most of its functionalities.
+The library also supports LaTeX code generation for most of its functionalities.
 
 ## Installation
 

docs/usage/hilbert-style-proof-system.md

@@ -69,10 +69,10 @@ Example interactive proof of $A \to A$:
 \end{enumerate}
 ```
 
-Like for truth tables, the LaTex generated is not supported by MathJax, as it uses the `enumerate` environnement.
-With a LaTex compiler, it would render like this:
+Like for truth tables, the LaTeX generated is not supported by MathJax, as it uses the `enumerate` environnement.
+With a LaTeX compiler, it would render like this:
 
-![LaTex Rendering](./hilbert_style_proof_example.svg){: style="height:180px;width:578px"}
+![LaTeX Rendering](./hilbert_style_proof_example.svg){: style="height:180px;width:578px"}
 
 ## Creating a new axiom system
 

docs/usage/semantic-functions.md

@@ -6,7 +6,7 @@ Semantics functions are contained in the [`semantics`](../api-reference/logicalp
 
 Truth tables can be built using the `TruthTable` class. Then, the string representation of the truth table
 can be found with the `to_str` method (or directly with the `str` built-in constructor).
-You can also use the `to_latex()` or `to_markdown()` methods to render the truth table to LaTex or Markdown.
+You can also use the `to_latex()` or `to_markdown()` methods to render the truth table to LaTeX or Markdown.
 
 Example:
 
@@ -51,10 +51,10 @@ The above Markdown renders as follow:
 
 !!! note
 
-    The LaTex code generated for a truth table uses the `tabular` environment, and it cannot be rendered using MathJax, but only
-    using a pure LaTex compiler. Here is how the above LaTex code generated would render:
+    The LaTeX code generated for a truth table uses the `tabular` environment, and it cannot be rendered using MathJax, but only
+    using a pure LaTeX compiler. Here is how the above LaTeX code generated would render:
 
-    ![LaTex rendering](./truth_table_latex_example.svg){: style="height:122px;width:238px"}
+    ![LaTeX rendering](./truth_table_latex_example.svg){: style="height:122px;width:238px"}
     <!---I doubled the dimentions of the image (w=119 and h=61) -->
 
 

docs/usage/using-formulae.md

@@ -1,8 +1,8 @@
 # Using Formulae
 
-## Latex Rendering
+## LaTeX Rendering
 
-Formulae can be rendered as LaTex code, with the `to_latex()` method of `Formula` objects.
+Formulae can be rendered as LaTeX code, with the `to_latex()` method of `Formula` objects.
 Example:
 
 ```python
@@ -12,7 +12,7 @@ Example:
 $(P \to (\neg P \land P)) \lor Q$
 ```
 
-The above LaTex would render as follow: $(P \to (\neg P \land P)) \lor Q$
+The above LaTeX would render as follow: $(P \to (\neg P \land P)) \lor Q$
 
 ## Equality testing
 

src/logicalpy/base.py

@@ -399,10 +399,10 @@ def __hash__(self) -> int:
         return hash(str(self))
 
     def to_latex(self) -> str:
-        """Renders the formula as LaTex code
+        """Renders the formula as LaTeX code
 
         Returns:
-            (str): the LaTex representation of the formula, as inline math
+            (str): the LaTeX representation of the formula, as inline math
 
         """
         formula_latex = self._formula.to_latex()

src/logicalpy/hilbert.py

@@ -198,10 +198,10 @@ def __str__(self) -> str:
         return "\n".join(result_lines)
 
     def to_latex(self) -> str:
-        """Renders the proof to LaTex
+        """Renders the proof to LaTeX
 
         Returns:
-            (str): the LaTex representation of the proof, which uses the `enumerate` environnement
+            (str): the LaTeX representation of the proof, which uses the `enumerate` environnement
 
         """
         result_lines = [r"\begin{enumerate}"]

src/logicalpy/semantics.py

@@ -24,7 +24,7 @@ def __init__(self, formula: Formula):
         self._latex_table = None
 
     def to_str(self) -> str:
-        """Renders the truth table as a str with the `tabulate` library (style used: 'simple')
+        """Renders the truth table as a str using the `tabulate` library (style used: 'simple')
 
         Returns:
             (str): the truth table
@@ -112,10 +112,10 @@ def to_markdown(self) -> str:
         return self._str_table
 
     def to_latex(self) -> str:
-        """Renders the truth table as LaTex (with the `tabulate` library)
+        """Renders the truth table as LaTeX (with the `tabulate` library)
 
         Returns:
-            (str): the LaTex output, which uses the `tabular` LaTex environment
+            (str): the LaTeX output, which uses the `tabular` LaTeX environment
 
         """
         if self._latex_table is not None: