Edit File: stex.h