Yeah, it probably does speed it up too.
Ah ok, in that case matches is definitely better for this situation.
EDIT: huh, looks like the matches() function isn't working so I used find, and I wrote the is_operator without so many ^ and $
"^(\\+|-|\\*|/|\\^|if|max|min|not)$"
I know I said I...