Element - d - Double / Dyadify

Characters: d

Description

Double a number or repeat a string twice / make a function dyadic

Overloads

• num - a * 2 (double)
• str - a * 2 (repeated twice)
• fun - change the arity of the function to 2

Examples

• 5 d = 10
• ⟨1|2⟩ d = ⟨2|4⟩
• `x` d = `xx`
• `ha` d = `haha`