def test_tex():
    assert "}_{" in tex_encode("helloi[10]")
    assert "'}" in tex_encode("hello_prime")
    assert r"\overline" in tex_encode("hello_bar")
dataset/ETHPy150Open gdanezis/petlib/examples/genzkp.py/test_tex/original