pipe key
English
Pronunciation
Audio
(
US
)
:
(file)
Noun
pipe
key
(
plural
pipe keys
)
A
type
of
key
with a
hollow
barrel
that
fits
over a
lock
's
pin
.
Synonym:
barrel key
(
Can we verify
(
+
)
this sense?)
(
computing
)
The key on a keyboard that produces the
vertical bar
symbol.