When using "voice typing", how can I capitalize a proper noun? When I press the speech-to-text button on my keyboard, I can dictate some text. Say I have a pub called the Red Lion that I want to mention. How can I get it to type "Red Lion" instead of "red lion"?

Letting it enter "red lion" and going back and editing it with a normal keyboard is very slow, because the popup menu of alternative transcriptions makes each edit take an extra click.
Picked up from this Ruben Roy answer in a more recent question:

You can use this comments to start and stop typing with capitals with the Google voice typing Android keyboard.

"Caps &lt;word&gt;"                           Type with an initial capital
"All Caps &lt;word&gt;"                       Type in all uppercase
"Caps On"                               Start typing words with initial capitals
"Caps Off"                              Stop typing words with initial capitals