Это называется границей контекста. Они являются синтаксическим сахаром для неявного списка параметров:
def meth[A : ContextBound1 : ContextBoundN](a: A)
// ==>
def meth[A](a: A)(implicit evidence: ContextBound1[A], ContextBoundN[A])
Если существует несколько границ контекста от 1 до N, все они переводятся в один и тот же список параметров. См. этот вопрос для более подробного объяснения того, как они работают и для чего они полезны.
Чтобы найти такие символы, полезно прочитать учебник StackOverflow Scala .