The Spanish verb contar translates to "to count". Which of the following would be a better way to express this in formal writing:
- Contar is the Spanish verb for count.
- Contar is the Spanish verb for "to count".
- Contar is the Spanish verb for counting.
I know a safer option is to just say, "Contar is the Spanish verb that means 'to count'." but I'd prefer to pick one from the above three options.