File:Right-continuous.svg loading ...