In the paper, you mentioned adding special tokens before and after the formula. Can you share what techniques you used to locate the formula?