why github is not compatible with some latex

src/fri/naive.md

@@ -49,7 +49,7 @@ We will refer this folding example again with some actual evaluations to demonst
 
 Using the notation from [what is proving](https://nmohnblatt.github.io/zk-jargon-decoder/intro_to_zk/what_is_proving.html), we define the following:
 
-$$\mathcal{L}\left(\mathcal{R}_{\text {consistent\_layers }}\right)$$
+$$\mathcal{L}\left(\mathcal{R}_{\text{consistent\_layers}}\right)$$
 
 for instance, $\left(a_1, w_1\right) \in \mathcal{R}$, where $a_1$ can represent a FRI query and constant value from $p_2$, while $w_1$ represents the corresponding evaluations across layers.
 
@@ -109,7 +109,7 @@ $$
 
 
 
-In this manner, the prover can keep calculating for the whole domain. Then they would response the verifier query with the evaluations across layers for checking if an instance $a_i$ corresponding to the query is in the $\mathcal{L}\left(\mathcal{R}\_{\text {consistent\_layers }}\right)$
+In this manner, the prover can keep calculating for the whole domain. Then they would response the verifier query with the evaluations across layers for checking if an instance $a_i$ corresponding to the query is in the $\mathcal{L}\left(\mathcal{R}_{\text{consistent\_layers }}\right)$
 
 ### Consistency check