{"version":3,"file":"double-struck.js","sourceRoot":"","sources":["../../../../../ts/output/common/fonts/tex/double-struck.ts"],"names":[],"mappings":";;;AAmBa,QAAA,YAAY,GAAyB,EACjD,CAAC"}