Are there any other types of escape codes? formatting, etc?