Deep-inelastic scattering at TeV energies with LHC muons | Synapse