The standard way to define infixity for backtick operators is

infix 4 `elem`

which is accepted by GHC and consistent with the Report. However, in GHCi, :i does not give the backticks:

Prelude> :i elem
elem :: Eq a => a -> [a] -> Bool 	-- Defined in `GHC.List'
infix 4 elem