I can't see these devices specifically mentioned in https://www.ofcom.org.uk/__data/assets/pdf_file/0028/84970/i..., though the frequency range they operate in (20-140kHz) is allowed to be used by induction loop type applications, at a suitably low power.