Portapennoni
Dizionario di Marina - Reale Accademia D'Italia - Roma
Portapennoni. — Tacchi in legno sulla murata con una larga incavatura a gola, su cui si posano i pennoni maggiori ammainati.
Sulle navi minori invece di questi tacchi, si piantano dei grossi candellieri di ferro a forcella. (Fincati).
— Bracci della polena. (Stratico, Appendice).