latex_to_logic.py

import re
test_mode = True

def get_file():
    flag = True
    while flag is True:
        try:
            file = input('Enter the name of the txt file: ')
            infile = open(file, 'r')
            flag = False
        except Exception:
            flag = True
    return infile


def main():
    pass

if __name__ == "__main__":
    main()