searchtex.py creation